@article{Maraist_1999,
    doi = {10.1016/s0304-3975(98)00358-2},
    url = {https://doi.org/10.1016%2Fs0304-3975%2898%2900358-2},
    year = {1999},
    month = {oct},
    publisher = {Elsevier {BV}},
    volume = {228},
    number = {1-2},
    pages = {175--210},
    author = {J. Maraist and M. Odersky and D.N. Turner and P. Wadler},
    title = {Call-by-name, call-by-value, call-by-need and the linear lambda calculus},
    journal = {Theoretical Computer Science}
}

@article{Maraist_1999, doi = {10.1016/s0304-3975(98)00358-2}, url = {https://doi.org/10.1016%2Fs0304-3975%2898%2900358-2}, year = {1999}, month = {oct}, publisher = {Elsevier {BV}}, volume = {228}, number = {1-2}, pages = {175--210}, author = {J. Maraist and M. Odersky and D.N. Turner and P. Wadler}, title = {Call-by-name, call-by-value, call-by-need and the linear lambda calculus}, journal = {Theoretical Computer Science} }