DBLP Record 'conf/icfp/JonesVWW06'

BibTeX

@inproceedings{DBLP:conf/icfp/JonesVWW06,
  author    = {Simon L. Peyton Jones and
               Dimitrios Vytiniotis and
               Stephanie Weirich and
               Geoffrey Washburn},
  title     = {Simple unification-based type inference for GADTs},
  booktitle = {ICFP},
  year      = {2006},
  pages     = {50-61},
  ee        = {http://doi.acm.org/10.1145/1159803.1159811},
  crossref  = {DBLP:conf/icfp/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icfp/2006,
  editor    = {John H. Reppy and
               Julia L. Lawall},
  title     = {Proceedings of the 11th ACM SIGPLAN International Conference
               on Functional Programming, ICFP 2006, Portland, Oregon,
               USA, September 16-21, 2006},
  booktitle = {ICFP},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-309-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}