Cited By
View all- Kabir ILhoták OErdweg SOliveira B(2018)κDOT: scaling DOT with mutation and constructorsProceedings of the 9th ACM SIGPLAN International Symposium on Scala10.1145/3241653.3241659(40-50)Online publication date: 17-Sep-2018
- Rapoport MKabir IHe PLhoták O(2017)A simple soundness proof for dependent object typesProceedings of the ACM on Programming Languages10.1145/31338701:OOPSLA(1-27)Online publication date: 12-Oct-2017