1. 2002. Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium. USENIX Association, USA. 2002. Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium. USENIX Association, USA.
2. Parameterised notions of computation
3. Casper Bach Poulsen , Arjen Rouvoet , Andrew Tolmach , Robbert Krebbers , and Eelco Visser . 2017 . Intrinsically-Typed Definitional Interpreters for Imperative Languages . Proc. ACM Program. Lang. 2, POPL, Article 16 (dec 2017), 34 pages. https://doi.org/10.1145/3158104 10.1145/3158104 Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, and Eelco Visser. 2017. Intrinsically-Typed Definitional Interpreters for Imperative Languages. Proc. ACM Program. Lang. 2, POPL, Article 16 (dec 2017), 34 pages. https://doi.org/10.1145/3158104
4. Calculating correct compilers;Bahr Patrick;Journal of Functional Programming,2015
5. Recasting MLF