Andrew P. Tolmach Dino Oliva From ML to Ada: Strongly-Typed Language Interoperability via Source Translation. 367-412 1998 8 J. Funct. Program. 4 db/journals/jfp/jfp8.html#TolmachO98