From ML to Ada: Strongly-typed language interoperability via source translation

DOI10.1017/S0956796898003086zbMath0917.68038OpenAlexW2163672025MaRDI QIDQ4236884

Andrew Tolmach, Dino P. Oliva

Publication date: 28 March 1999

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796898003086

zbMATH Keywords

functional languageML compilers

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Related Items (4)

Polymorphic typed defunctionalization and concretization ⋮ Refunctionalization at work ⋮ Flattening tuples in an SSA intermediate representation ⋮ Real-time MLton: A Standard ML runtime for real-time functional programs

Uses Software

• GHC
• Unnamed Item
• Unnamed Item

This page was built for publication: From ML to Ada: Strongly-typed language interoperability via source translation