BibTeX record conf/fpca/AikenW93

download as .bib file

@inproceedings{DBLP:conf/fpca/AikenW93,
  author       = {Alexander Aiken and
                  Edward L. Wimmers},
  editor       = {John Williams},
  title        = {Type Inclusion Constraints and Type Inference},
  booktitle    = {Proceedings of the conference on Functional programming languages
                  and computer architecture, {FPCA} 1993, Copenhagen, Denmark, June
                  9-11, 1993},
  pages        = {31--41},
  publisher    = {{ACM}},
  year         = {1993},
  url          = {https://doi.org/10.1145/165180.165188},
  doi          = {10.1145/165180.165188},
  timestamp    = {Tue, 06 Nov 2018 11:07:48 +0100},
  biburl       = {https://dblp.org/rec/conf/fpca/AikenW93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics