Zimmermann95'

BibTeX

@inproceedings{DBLP:conf/wlp/Zimmermann95,
  author    = {J{\"o}rg Zimmermann},
  title     = {Polymorphe Typinferenz f{\"u}r Prolog},
  booktitle = {WLP},
  year      = {1995},
  pages     = {91-100},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}