Forskning ved Københavns Universitet - Københavns Universitet

Forside

The Complexity of Type Inference for Higher-Order typed Lambda-Calculi

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

Datalogi
OriginalsprogEngelsk
TitelProc.18th. ACM Symp. on Pronciples of Programming Languages
Udgivelses stedNew York
ForlagAssociation for Computing Machinery
Publikationsdato1991
Sider119-130
StatusUdgivet - 1991

ID: 291973