@article{TOLMACH_1998,
    doi = {10.1017/s0956796898003086},
    url = {https://doi.org/10.1017%2Fs0956796898003086},
    year = {1998},
    month = {jul},
    publisher = {Cambridge University Press ({CUP})},
    volume = {8},
    number = {4},
    pages = {367--412},
    author = {ANDREW TOLMACH and DINO P. OLIVA},
    title = {From {ML} to Ada: Strongly-typed language 
        interoperability via source translation},
    journal = {Journal of Functional Programming}
}

@article{TOLMACH_1998, doi = {10.1017/s0956796898003086}, url = {https://doi.org/10.1017%2Fs0956796898003086}, year = {1998}, month = {jul}, publisher = {Cambridge University Press ({CUP})}, volume = {8}, number = {4}, pages = {367--412}, author = {ANDREW TOLMACH and DINO P. OLIVA}, title = {From {ML} to Ada: Strongly-typed language interoperability via source translation}, journal = {Journal of Functional Programming} }