Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Standard
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. / Traytel, Dmitriy; Berghofer, Stefan; Nipkow, Tobias.
APLAS 2011. red. / Hongseok Yang. Bind 7078 Springer Berlin/Heidelberg, 2011. s. 89-104 (LNCS).Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Harvard
Traytel, D, Berghofer, S & Nipkow, T 2011, Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. i H Yang (red.), APLAS 2011. bind 7078, Springer Berlin/Heidelberg, LNCS, s. 89-104. https://doi.org/10.1007/978-3-642-25318-8_10
APA
Traytel, D., Berghofer, S., & Nipkow, T. (2011). Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. I H. Yang (red.), APLAS 2011 (Bind 7078, s. 89-104). Springer Berlin/Heidelberg. LNCS https://doi.org/10.1007/978-3-642-25318-8_10
Vancouver
Traytel D, Berghofer S, Nipkow T. Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. I Yang H, red., APLAS 2011. Bind 7078. Springer Berlin/Heidelberg. 2011. s. 89-104. (LNCS). https://doi.org/10.1007/978-3-642-25318-8_10
Author
Bibtex
@inproceedings{d9a2b2127b544366b30446c8c69ac142,
title = "Extending Hindley-Milner Type Inference with Coercive Structural Subtyping",
author = "Dmitriy Traytel and Stefan Berghofer and Tobias Nipkow",
year = "2011",
doi = "10.1007/978-3-642-25318-8_10",
language = "English",
volume = "7078",
series = "LNCS",
pages = "89--104",
editor = "Hongseok Yang",
booktitle = "APLAS 2011",
publisher = "Springer Berlin/Heidelberg",
}
RIS
TY - GEN
T1 - Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
AU - Traytel, Dmitriy
AU - Berghofer, Stefan
AU - Nipkow, Tobias
PY - 2011
Y1 - 2011
U2 - 10.1007/978-3-642-25318-8_10
DO - 10.1007/978-3-642-25318-8_10
M3 - Article in proceedings
VL - 7078
T3 - LNCS
SP - 89
EP - 104
BT - APLAS 2011
A2 - Yang, Hongseok
PB - Springer Berlin/Heidelberg
ER -
ID: 245668345