Polymorphe Typinferenz für Prolog

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.

Abstract

Abstract is missing.