Type soundness for dependent object types (DOT)
A flow-insensitive, modular effect system for purity
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs - FTfJP ’13
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications - OOPSLA 2016
Lukas Rytz
Tiark Rompf
Martin Odersky
Gentrification Gone Too Far? Affordable 2Nd-class Values for Fun and (Co-)Effect
Gentrification gone too far? affordable 2nd-class values for fun and (co-)effect