Content
Extending the Type Checker of SML by Polymorphic Recursion -- A Correctness Proof
CIS-Bericht-96-101
| Authors/Editors: |
Martin Emms Hans Leiß |
|---|---|
| Publication Date: | 1996 |
| Type of Publication: | Veröffentlichungen in der Reihe CIS-Berichte |
Related Links