Featherweight Swift: a Core calculus for Swift’s type system
- Racordon, Dimitri University of Geneva, Switzerland
- Buchs, Didier University of Geneva, Switzerland
- 2020-11-15
Published in:
- Proceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering. - ACM. - 2020
- Language
-
- English
- Open access status
- bronze
- Identifiers
- Persistent URL
- https://sonar.ch/global/documents/252770
Statistics
Document views: 30
File downloads:
- Full-text: 0