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

Original language	English
Journal	Journal of Functional Programming (JFP)
Volume	4
Issue number	4
Pages (from-to)	435--477
Number of pages	43
Publication status	Published - 1994

Cite this

@article{73e23730049b11ddbee902004c4f4f50,

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

author = "Fritz Henglein and Harry Mairson",

year = "1994",

language = "English",

volume = "4",

pages = "435----477",

journal = "Journal of Functional Programming (JFP)",

publisher = "Cambridge University Press",

number = "4",

}