|
|||||
|
|
Principal Type Schemes for the Strict Type Assignment System |
|
| Authors: | van BAKEL STEFFEN |
| Affiliation: | Department of Informatics, Faculty of Mathematics and Informatics, University of Nijmegen Toernooiveld 1, 6525 ED Nijmegen, The Netherlands E-mail: steffen{at}cs.kun.nl |
| Abstract: | |
| Keywords: | Lambda calculus type assignment systems principle type scheme intersection types approximate normal forms |
| 本文献已被 Oxford 等数据库收录！ | |