1. Semantic soundness for language interoperability;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
2. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12
3. The early history of F#;Proceedings of the ACM on Programming Languages;2020-06-12
4. OCaml-Java;Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools;2013-09-11
5. Operational semantics for multi-language programs;ACM Transactions on Programming Languages and Systems;2009-04