@incollection{Mogensen_1998,
    doi = {10.1007/bfb0055427},
    url = {https://doi.org/10.1007%2Fbfb0055427},
    year = {1998},
    publisher = {Springer Berlin Heidelberg},
    pages = {112--122},
    author = {Torben {\AE}. Mogensen},
    title = {Types for 0, 1 or many uses},
    booktitle = {Implementation of Functional Languages}
}

@incollection{Mogensen_1998, doi = {10.1007/bfb0055427}, url = {https://doi.org/10.1007%2Fbfb0055427}, year = {1998}, publisher = {Springer Berlin Heidelberg}, pages = {112--122}, author = {Torben {\AE}. Mogensen}, title = {Types for 0, 1 or many uses}, booktitle = {Implementation of Functional Languages} }