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

by Andrew P Tolmach, Dino Oliva
Venue:Journal of Functional Programming