The Complexity of Type Inference for Higher-Order Typed Lambda Calculi
Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt
| Originalsprog | Engelsk |
|---|---|
| Tidsskrift | Journal of Functional Programming (JFP) |
| Vol/bind | 4 |
| Udgave nummer | 4 |
| Sider (fra-til) | 435--477 |
| Antal sider | 43 |
| Status | Udgivet - 1994 |
ID: 3531184