Meyer, G. (1996). Type checking and type inferencing for logic programs with subtypes and parametric polymorphism. Fernuniv., Fachbereich Informatik.
Chicago-Zitierstil (17. Ausg.)Meyer, Gregor. Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism. Hagen: Fernuniv., Fachbereich Informatik, 1996.
MLA-Zitierstil (9. Ausg.)Meyer, Gregor. Type Checking and Type Inferencing for Logic Programs with Subtypes and Parametric Polymorphism. Fernuniv., Fachbereich Informatik, 1996.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.