TypEr: a type annotator of Erlang code

Lindahl, T; Sagonas, K

dc.contributor.author	Lindahl, T	en
dc.contributor.author	Sagonas, K	en
dc.date.accessioned	2014-03-01T02:49:58Z
dc.date.available	2014-03-01T02:49:58Z
dc.date.issued	2005	en
dc.identifier.uri	https://dspace.lib.ntua.gr/xmlui/handle/123456789/34832
dc.subject	Modular Reasoning	en
dc.subject	Parametric Polymorphism	en
dc.subject	Type Inference	en
dc.subject	Type System	en
dc.title	TypEr: a type annotator of Erlang code	en
heal.type	conferenceItem	en
heal.identifier.primary	10.1145/1088361.1088366	en
heal.identifier.secondary	http://dx.doi.org/10.1145/1088361.1088366	en
heal.publicationDate	2005	en
heal.abstract	We describe and document the techniques used in TYPER, a fully automatic type annotator for E RLANG programs based on constraint-based type inference of success typings(a notion closely related to principal typings). The inferred typings are fine -grained and the type system currently includes subtyping and subtype poly- morphism but not parametric polymorphism. In particular, we de- scribe and illustrate	en
heal.journalName	Erlang Workshop	en
dc.identifier.doi	10.1145/1088361.1088366	en