Colored local type inference

We present a type system for a language based on F ≤, which allows certain type annotations to be elided in actual programs. Local type inference determines types by a combination of type propagation and local constraint solving, rather than by global constraint solving. We re ne the previously exis...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	SIGPLAN notices 2001, Vol.36 (3), p.41-53
Hauptverfasser:	Odersky, Martin, Zenger, Christoph, Zenger, Matthias
Format:	Artikel
Sprache:	eng
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!