Content
Extending the Type Checker of SML by Polymorphic Recursion.
Theoretical Computer Science 212 (1999), 157-181.
| Authors/Editors: |
Hans Leiß Martin Emms |
|---|---|
| Publication Date: | 1999 |
| Type of Publication: | Konferenzen/Journale |