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

Fritz Henglein, Harry Mairson

21 Citationer (Scopus)

Abstract

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

@inbook{45bb645074d011dbbee902004c4f4f50,

title = "The Complexity of Type Inference for Higher-Order typed Lambda-Calculi",

abstract = "Datalogi",

author = "Fritz Henglein and Harry Mairson",

year = "1991",

language = "English",

pages = "119--130",

booktitle = "Proc.18th. ACM Symp. on Pronciples of Programming Languages",

publisher = "Association for Computing Machinery",

}