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

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