Compiling standard ML to Java bytecodes

DOI10.1145/289423.289435MaRDI QIDQ5234263zbMATH OpenOpenAlexWikidataFDO

Authors Nick Benton, Andrew Kennedy, George T. Russell

Publication date 26 September 2019

Published in Proceedings of the third ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/289423.289435

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Theory of compilers and interpreters (68N20)

Recommendations

• Interlanguage working without tears: blending SML with Java
• Compiling lazy functional programs for the Java Virtual Machine
• An action compiler targeting standard ML
• Static interpretation of modules
• scientific article; zbMATH DE number 1497780

Cited in

(12)

• Subtyping recursion and parametric polymorphism in kernel Fun
• Factorisation systems for logical relations and monadic lifting in type-and-effect system semantics
• An action compiler targeting standard ML
• Interlanguage working without tears: blending SML with Java
• Java-ML: a machine learning library
• From ML to Ada: Strongly-typed language interoperability via source translation
• scientific article; zbMATH DE number 2086501 (Why is no real title available?)
• Compiling lazy functional programs for the Java Virtual Machine
• ANF preserves dependent types up to extensional equality
• OCaml-Java: the Java virtual machine as the target of an OCaml compiler
• No value restriction is needed for algebraic effects and handlers
• A portable approach to dynamic optimization in run-time specialization

This page was built for publication: Compiling standard ML to Java bytecodes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5234263)