Marianna Rapoport, Ifaz Kabir, Paul He, Ondrej Lhoták
A simple soundness proof for dependent object types
OOPSLA, 2017.
@article{OOPSLA-2017-RapoportKHL, author = "Marianna Rapoport and Ifaz Kabir and Paul He and Ondrej Lhoták", doi = "10.1145/3133870", journal = "{Proceedings of the ACM on Programming Languages}", number = "OOPSLA", pages = "27", publisher = "{ACM}", title = "{A simple soundness proof for dependent object types}", volume = 1, year = 2017, }