SML# Project

Publications related to SML#

• Atsushi Ohori, Katsuhiro Ueno, Hisayuki Mima. Finitary Polymorphism for Optimizing Type-directed Cmpilation. In Proceedings of the ACM on Programming Languages 2(ICFP), pp.~1–29, 2018. DOI: 10.1145/3236776

• Atsushi Ohori, Kenjiro Taura, Katsuhiro Ueno. Making SML# a general-purpose high-performance language. ACM SIGPLAN ML Family Workshop 2017, 2017. (PDF)

• Atsushi Ohori, Katsuhiro Ueno, Tomohiro Sasaki, Daisuke Kikuchi. A Calculus with Partially Dynamic Records for Typeful Manipulation of JSON Objects. In Proceedings of the 30th European Conference on Object-Oriented Programming (ECOOP 2016), pp.~18:1–18:25, 2016. DOI: 10.4230/LIPIcs.ECOOP.2016.18

• Tomohiro Sasaki, Katsuhiro Ueno, Atsushi Ohori. SML# with Natural Join. ACM SIGPLAN ML Family Workshop 2016, 2016. (PDF)

• Katsuhiro Ueno, Atsushi Ohori. A Fully Concurrent Garbage Collector for Functional Programs on Multicore Processors. In Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016), pp.~421–433, 2016. DOI: 10.1145/2951913.2951944

• Katsuhiro Ueno, Atsushi Ohori. Compiling SML# with LLVM: a Challenge of Implementing ML on a Common Compiler Infrastructure. ACM SIGPLAN ML Family Workshop 2014, 2014. (PDF)

• Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito. SML# in Industry: A Practical ERP System Development. In Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming (ICFP 2014), pp.~167–173, 2014. DOI: 10.1145/2628136.2628164

• Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo. An Efficient Non-moving Garbage Collector for Functional Languages. In Proceeding of the 16th ACM SIGPLAN International Conference on Functional programming (ICFP 2011), pp.~196–208, 2011. DOI: 10.1145/2034773.2034802

• Atsushi Ohori, Katsuhiro Ueno. Making Standard ML a Practical Database Programming Language. In Proceedings of the 16th ACM SIGPLAN International Conference on Functional Programming (ICFP 2011), pp.~307–319, 2011. DOI: 10.1145/2034773.2034815