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

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