Extending Hindley-Milner Type Inference with Coercive Structural Subtyping - Ansatte

Datalogisk Institut

Extending Hindley-Milner Type Inference with Coercive Structural Subtyping

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

Traytel, Dmitriy
Stefan Berghofer
Tobias Nipkow

Originalsprog	Engelsk
Titel	APLAS 2011
Redaktører	Hongseok Yang
Antal sider	16
Vol/bind	7078
Forlag	Springer Berlin/Heidelberg
Publikationsdato	2011
Sider	89-104
DOI	https://doi.org/10.1007/978-3-642-25318-8_10
Status	Udgivet - 2011

Navn	LNCS

ID: 245668345