Extending Hindley-Milner Type Inference with Coercive Structural Subtyping
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Standard
Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. / Traytel, Dmitriy; Berghofer, Stefan; Nipkow, Tobias.
APLAS 2011. ed. / Hongseok Yang. Vol. 7078 Springer Berlin/Heidelberg, 2011. p. 89-104 (LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Harvard
Traytel, D, Berghofer, S & Nipkow, T 2011, Extending Hindley-Milner Type Inference with Coercive Structural Subtyping. in H Yang (ed.), APLAS 2011. vol. 7078, Springer Berlin/Heidelberg, LNCS, pp. 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. In H. Yang (Ed.), APLAS 2011 (Vol. 7078, pp. 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. In Yang H, editor, APLAS 2011. Vol. 7078. Springer Berlin/Heidelberg. 2011. p. 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