Adding Equations to System F Types

Krishnaswami, Neelakantan R.; Benton, Nick; Seidl, Helmut

doi:10.1007/978-3-642-28869-2_21

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Konferenzbeitrag

Adding Equations to System F Types

MPG-Autoren

Krishnaswami, Neelakantan R.
Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

Krishnaswami, N. R., & Benton, N. (2012). Adding Equations to System F Types. In H. Seidl (Ed.), Programming Languages and Systems: 21st European Symposium on Programming, ESOP 2012 (pp. 417-435). New York, NY: Springer.

Zitierlink: https://hdl.handle.net/11858/00-001M-0000-0028-8B02-1

Zusammenfassung

Es ist keine Zusammenfassung verfügbar