Interlanguage working without tears: blending SML with Java

DOI10.1145/317636.317791MaRDI QIDQ2817716zbMATH OpenOpenAlexFDO

Authors Nick Benton, Andrew Kennedy

Publication date 1 September 2016

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of compilers and interpreters (68N20)

Recommendations

• Compiling standard ML to Java bytecodes
• From ML to Ada: Strongly-typed language interoperability via source translation
• Compiling lazy functional programs for the Java Virtual Machine
• Operational semantics for multi-language programs
• scientific article; zbMATH DE number 1027561

Cited in

(6)

• Operational semantics for multi-language programs
• From ML to Ada: Strongly-typed language interoperability via source translation
• Compiling standard ML to Java bytecodes
• OCaml-Java: the Java virtual machine as the target of an OCaml compiler
• Implementation of Functional Languages
• JNI light: an operational model for the core JNI

This page was built for publication: Interlanguage working without tears: blending SML with Java

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