@article{WELLS_2002,
    doi = {10.1017/s0956796801004245},
    url = {https://doi.org/10.1017%2Fs0956796801004245},
    year = {2002},
    month = {may},
    publisher = {Cambridge University Press ({CUP})},
    volume = {12},
    number = {3},
    pages = {183--227},
    author = {J. B. WELLS and ALLYN DIMOCK and ROBERT MULLER and FRANKLYN TURBAK},
    title = {A calculus with polymorphic and polyvariant flow types},
    journal = {Journal of Functional Programming}
}

@article{WELLS_2002, doi = {10.1017/s0956796801004245}, url = {https://doi.org/10.1017%2Fs0956796801004245}, year = {2002}, month = {may}, publisher = {Cambridge University Press ({CUP})}, volume = {12}, number = {3}, pages = {183--227}, author = {J. B. WELLS and ALLYN DIMOCK and ROBERT MULLER and FRANKLYN TURBAK}, title = {A calculus with polymorphic and polyvariant flow types}, journal = {Journal of Functional Programming} }