From ML to Ada: Strongly-typed language interoperability via source translation
- 1 July 1998
- journal article
- research article
- Published by Cambridge University Press (CUP) in Journal of Functional Programming
- Vol. 8 (4), 367-412
- https://doi.org/10.1017/s0956796898003086