Emms, M., & Leiß, H. (1997). Extending the type checker of SML by polymorphic recursion: A correctness proof. CIS.
Chicago-Zitierstil (17. Ausg.)Emms, Martin, und Hans Leiß. Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof. München: CIS, 1997.
MLA-Zitierstil (9. Ausg.)Emms, Martin, und Hans Leiß. Extending the Type Checker of SML by Polymorphic Recursion: A Correctness Proof. CIS, 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.