Type Inference with Polymorphic Recursion

116 Citationer (Scopus)

Abstract

Udgivelsesdato: April

Originalsprog	Engelsk
Tidsskrift	ACM Transactions on Programming Languages and Systems (TOPLAS)
Vol/bind	15
Udgave nummer	2
Sider (fra-til)	253--289
Antal sider	37
Status	Udgivet - 1993

@article{8caef70004a311ddbee902004c4f4f50,

title = "Type Inference with Polymorphic Recursion",

abstract = "Udgivelsesdato: April",

author = "Fritz Henglein",

note = "Paper id:: http://doi.acm.org/10.1145/169701.169692",

year = "1993",

language = "English",

volume = "15",

pages = "253----289",

journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",

publisher = "ACM Press",

number = "2",

}

TY - JOUR

T1 - Type Inference with Polymorphic Recursion

AU - Henglein, Fritz

N1 - Paper id:: http://doi.acm.org/10.1145/169701.169692

PY - 1993

Y1 - 1993

N2 - Udgivelsesdato: April

AB - Udgivelsesdato: April

M3 - Journal article

VL - 15

SP - 253

EP - 289

JO - ACM Transactions on Programming Languages and Systems (TOPLAS)

JF - ACM Transactions on Programming Languages and Systems (TOPLAS)

IS - 2

ER -