The Complexity of Type Inference for Higher-Order typed Lambda-Calculi
Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning
Datalogi
| Originalsprog | Engelsk |
|---|---|
| Titel | Proc.18th. ACM Symp. on Pronciples of Programming Languages |
| Udgivelsessted | New York |
| Forlag | Association for Computing Machinery |
| Publikationsdato | 1991 |
| Sider | 119-130 |
| Status | Udgivet - 1991 |
ID: 291973