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

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