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