Operational Semantics and Polymorphic Type Inference
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Standard
Operational Semantics and Polymorphic Type Inference. / Tofte, Mads.
Technical Report CST-52-88. Edinburgh : Edinburgh Univ., Dept.Computer Science, 1988. p. 204.Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research
Harvard
Tofte, M 1988, Operational Semantics and Polymorphic Type Inference. in Technical Report CST-52-88. Edinburgh Univ., Dept.Computer Science, Edinburgh, pp. 204.
APA
Tofte, M. (1988). Operational Semantics and Polymorphic Type Inference. In Technical Report CST-52-88 (pp. 204). Edinburgh Univ., Dept.Computer Science.
Vancouver
Tofte M. Operational Semantics and Polymorphic Type Inference. In Technical Report CST-52-88. Edinburgh: Edinburgh Univ., Dept.Computer Science. 1988. p. 204
Author
Bibtex
@inbook{e70362e074d011dbbee902004c4f4f50,
title = "Operational Semantics and Polymorphic Type Inference",
abstract = "Ph.D. thesis",
author = "Mads Tofte",
year = "1988",
language = "English",
pages = "204",
booktitle = "Technical Report CST-52-88",
publisher = "Edinburgh Univ., Dept.Computer Science",
}
RIS
TY - CHAP
T1 - Operational Semantics and Polymorphic Type Inference
AU - Tofte, Mads
PY - 1988
Y1 - 1988
N2 - Ph.D. thesis
AB - Ph.D. thesis
M3 - Book chapter
SP - 204
BT - Technical Report CST-52-88
PB - Edinburgh Univ., Dept.Computer Science
CY - Edinburgh
ER -
ID: 301777