%0 Conference Paper %1 conf/popl/BartheCKL03 %A Barthe, Gilles %A Cirstea, Horatiu %A Kirchner, Claude %A Liquori, Luigi %B POPL %D 2003 %E Aiken, Alex %E Morrisett, Greg %I ACM %K dblp %P 250-261 %T Pure patterns type systems. %U http://dblp.uni-trier.de/db/conf/popl/popl2003.html#BartheCKL03 %@ 1-58113-628-5

@inproceedings{conf/popl/BartheCKL03, added-at = {2018-11-06T00:00:00.000+0100}, author = {Barthe, Gilles and Cirstea, Horatiu and Kirchner, Claude and Liquori, Luigi}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c69bcab3abda8beba7ce28e43a73e48a/dblp}, booktitle = {POPL}, crossref = {conf/popl/2003}, editor = {Aiken, Alex and Morrisett, Greg}, ee = {https://doi.org/10.1145/640128.604152}, interhash = {3488f76768f0e1d8304d541f9ca70d78}, intrahash = {c69bcab3abda8beba7ce28e43a73e48a}, isbn = {1-58113-628-5}, keywords = {dblp}, note = {ACM SIGPLAN Notices 38(1), January 2003}, pages = {250-261}, publisher = {ACM}, timestamp = {2019-09-27T22:06:41.000+0200}, title = {Pure patterns type systems.}, url = {http://dblp.uni-trier.de/db/conf/popl/popl2003.html#BartheCKL03}, year = 2003 }