Featherweight Swift: A Core Calculus for Swift’s Type System

13 Просмотры
Издатель
Hi, this is Dimitri Racordon, post-doc at @unige_en. My SLE paper presents a a subset of @swiftlang that formalizes its type system https://tinyurl.com/yyaockj2. A side contribution of our research was to find bugs in Swift compiler.

Featherweight Swift: A Core Calculus for Swift’s Type System
Paper DOI: https://doi.org/10.1145/3426425.3426939
Presented at SLE (Software Language Engineering) 2020, part of SPLASH 2020
By Dimitri Racordon, Didier Buchs
Категория
Язык программирования Swift
Комментариев нет.