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

Henglein, Fritz. / Type Inference with Polymorphic Recursion. In: ACM Transactions on Programming Languages and Systems (TOPLAS). 1993 ; Vol. 15, No. 2. pp. 253--289.

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