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