Type reconstruction in finite-rank fragments of the polymorphic lambda -calculus.
| Autor: | Kfoury, A.J., Tiuryn, J. |
|---|---|
| Zdroj: | 1990 Proceedings Fifth Annual IEEE Symposium on Logic in Computer Science; 1990, p2-11, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|