@article{DBLP:journals/jfp/TolmachO98,
 author = {Andrew P. Tolmach and
Dino Oliva},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/journals/jfp/TolmachO98.bib},
 doi = {10.1017/S0956796898003086},
 journal = {J. Funct. Program.},
 number = {4},
 pages = {367--412},
 timestamp = {Fri, 10 Jun 2022 01:00:00 +0200},
 title = {From ML to Ada: Strongly-Typed Language Interoperability via Source
Translation},
 url = {https://doi.org/10.1017/s0956796898003086},
 volume = {8},
 year = {1998}
}