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

Originalsprog	Engelsk
Tidsskrift	Journal of Functional Programming (JFP)
Vol/bind	4
Udgave nummer	4
Sider (fra-til)	435--477
Antal sider	43
Status	Udgivet - 1994

Citationsformater

@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",

}