Subject
General Computer Science,Theoretical Computer Science
Reference24 articles.
1. A Theory of Objects;Abadi,1996
2. P.N. Benton, A.J. Kennedy, and G. Russell. Compiling Standard ML to Java bytecodes. In 3rd ACM SIGPLAN International Conference on Functional Programming, September 1998
3. The recursive record semantics of objects revisited;Boudol;Journal of Functional Programming,2004
4. Gérard Boudol. Safe recursive boxes. Technical Report 5115, INRIA, February 2004
5. A type system for well-founded recursion;Dreyer,2004
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A conceptual framework for safe object initialization: a principled and mechanized soundness proof of the Celsius model;Proceedings of the ACM on Programming Languages;2022-10-31
2. A practical mode system for recursive definitions;Proceedings of the ACM on Programming Languages;2021-01-04
3. The early history of F#;Proceedings of the ACM on Programming Languages;2020-06-12
4. Generating mutually recursive definitions;Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019;2019
5. Unraveling Recursion: Compiling an IR with Recursion to System F;Lecture Notes in Computer Science;2019