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

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

Datalogi
Original languageEnglish
Title of host publicationProc.18th. ACM Symp. on Pronciples of Programming Languages
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Publication date1991
Pages119-130
Publication statusPublished - 1991

ID: 291973