Jörg Zimmermann. Polymorphe Typinferenz für Prolog. In Andreas Krall, Ulrich Geske, editors, 11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270. pages 91-100, 1995.
@inproceedings{Zimmermann95-0,
title = {Polymorphe Typinferenz für Prolog},
author = {Jörg Zimmermann},
year = {1995},
researchr = {https://researchr.org/publication/Zimmermann95-0},
cites = {0},
citedby = {0},
pages = {91-100},
booktitle = {11. Workshop Logische Programmierung, Technische Universität Wien, 27.-29. September 1995, Proceedings. GMD-Studien Nr. 270},
editor = {Andreas Krall and Ulrich Geske},
}