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

Fritz Henglein, Harry Mairson

21 Citations (Scopus)

Abstract

Datalogi

Original language	English
Title of host publication	Proc.18th. ACM Symp. on Pronciples of Programming Languages
Place of Publication	New York
Publisher	Association for Computing Machinery
Publication date	1991
Pages	119-130
Publication status	Published - 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",

}