Centrum für Informations- und Sprachverarbeitung
print


Breadcrumb Navigation


Content

Extending the Type Checker of SML by Polymorphic Recursion.

Theoretical Computer Science 212 (1999), 157-181.

Authors/Editors: Martin Emms
Publication Date: 1999
Type of Publication: Konferenzen/Journale