The Complexity of Type Inference for Higher-Order Typed Lambda Calculi (1991)
by
Fritz Henglein
,
Harry G. Mairson
| Venue: | J. Funct. Programming |
| Citations: | 26 - 10 self |
Document Versions
| The Complexity of Type Inference for Higher-Order Typed Lambda Calculi –Fritz Henglein, Harry G. Mairson — 1991 — J. Funct. Programming |
