BibTeX record conf/ppdp/CarlierW04

download as .bib file

@inproceedings{DBLP:conf/ppdp/CarlierW04,
  author    = {S{\'{e}}bastien Carlier and
               J. B. Wells},
  editor    = {Eugenio Moggi and
               David Scott Warren},
  title     = {Type inference with expansion variables and intersection types in
               system {E} and an exact correspondence with beta-reduction},
  booktitle = {Proceedings of the 6th International {ACM} {SIGPLAN} Conference on
               Principles and Practice of Declarative Programming, 24-26 August 2004,
               Verona, Italy},
  pages     = {132--143},
  publisher = {{ACM}},
  year      = {2004},
  url       = {https://doi.org/10.1145/1013963.1013980},
  doi       = {10.1145/1013963.1013980},
  timestamp = {Tue, 06 Nov 2018 16:57:24 +0100},
  biburl    = {https://dblp.org/rec/conf/ppdp/CarlierW04.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics