Efficient Type Inference for Higher-Order Binding-Time Analysis

59 Citationer (Scopus)

Abstract

Datalogi

Originalsprog	Engelsk
Titel	Lecture Notes in Computer Science, vol.523: Proc. Functional Programming Languages and Computer Architecture
Udgivelsessted	Berlin
Forlag	Springer
Publikationsdato	1991
Sider	448-472
Status	Udgivet - 1991

@inbook{45c7e77074d011dbbee902004c4f4f50,

title = "Efficient Type Inference for Higher-Order Binding-Time Analysis",

abstract = "Datalogi",

author = "Fritz Henglein",

year = "1991",

language = "English",

pages = "448--472",

booktitle = "Lecture Notes in Computer Science, vol.523: Proc. Functional Programming Languages and Computer Architecture",

publisher = "Springer",

}