From ML to Ada: Strongly-Typed Language Interoperability via Source Translation

Abstract

We describe a system that supports source-level integration of ML-like functional language code with ANSI C or Ada83 code. The system works by translating the functional code into type-correct, \vanilla" C or Ada; it o ers simple, e cient, type-safe inter-operation between new functional code components and \legacy" third-generationlanguage components. Our… (More)

Topics

Statistics

01020'98'00'02'04'06'08'10'12'14'16'18
Citations per Year

100 Citations

Semantic Scholar estimates that this publication has 100 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Tolmach1998FromMT, title={From ML to Ada: Strongly-Typed Language Interoperability via Source Translation}, author={Andrew P. Tolmach and Dino Oliva}, journal={J. Funct. Program.}, year={1998}, volume={8}, pages={367-412} }