Featherweight Swift: A Core Calculus for Swift's Type System
ContributorsRacordon, Dimitri ; Buchs, Didier
Presented atNovember 16–17, 2020
Publication date2020
Abstract
Keywords
- Protocol oriented programming
- Language semantics
- Language calculus
- Type systems
- Swift
Affiliation entities
Research groups
Funding
- Autre - DIP
Citation (ISO format)
RACORDON, Dimitri, BUCHS, Didier. Featherweight Swift: A Core Calculus for Swift’s Type System. In: Proceedings of the 13th ACM SIGPLAN International Conference on Software Language En- gineering (SLE ’20). [s.l.] : [s.n.], 2020.
Main files (1)
Proceedings chapter (Published version)
Identifiers
- PID : unige:144345