@incollection{Carlier_2004,
    doi = {10.1007/978-3-540-24725-8_21},
    url = {https://doi.org/10.1007%2F978-3-540-24725-8_21},
    year = {2004},
    publisher = {Springer Berlin Heidelberg},
    pages = {294--309},
    author = {S{\'{e}}bastien Carlier and Jeff Polakow and J. B. Wells and A. J. Kfoury},
    title = {System~E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types},
    booktitle = {Programming Languages and Systems}
}

@incollection{Carlier_2004, doi = {10.1007/978-3-540-24725-8_21}, url = {https://doi.org/10.1007%2F978-3-540-24725-8_21}, year = {2004}, publisher = {Springer Berlin Heidelberg}, pages = {294--309}, author = {S{\'{e}}bastien Carlier and Jeff Polakow and J. B. Wells and A. J. Kfoury}, title = {System~E: Expansion Variables for Flexible Typing with Linear and Non-linear Types and Intersection Types}, booktitle = {Programming Languages and Systems} }