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
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
Комментариев нет.