Type Inference with Polymorphic Recursion
Research output: Contribution to journal › Journal article › Research › peer-review
Standard
Type Inference with Polymorphic Recursion. / Henglein, Fritz.
In: ACM Transactions on Programming Languages and Systems (TOPLAS), Vol. 15, No. 2, 1993, p. 253--289.Research output: Contribution to journal › Journal article › Research › peer-review
Harvard
Henglein, F 1993, 'Type Inference with Polymorphic Recursion', ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 15, no. 2, pp. 253--289.
APA
Henglein, F. (1993). Type Inference with Polymorphic Recursion. ACM Transactions on Programming Languages and Systems (TOPLAS), 15(2), 253--289.
Vancouver
Henglein F. Type Inference with Polymorphic Recursion. ACM Transactions on Programming Languages and Systems (TOPLAS). 1993;15(2):253--289.
Author
Bibtex
@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",
}
RIS
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 -
ID: 3531604