A type-and-effect system for object initialization
-
Liu, Fengyun
EPFL, Switzerland
-
Lhoták, Ondřej
University of Waterloo, Canada
-
Biboudis, Aggelos
EPFL, Switzerland
-
Giarrusso, Paolo G.
Delft University of Technology, Netherlands
-
Odersky, Martin
EPFL, Switzerland
Published in:
- Proceedings of the ACM on Programming Languages. - Association for Computing Machinery (ACM). - 2020, vol. 4, no. OOPSLA, p. 1-28
-
Language
-
-
Open access status
-
gold
-
Identifiers
-
-
Persistent URL
-
https://sonar.ch/global/documents/72429
Statistics
Document views: 32
File downloads: