KIT | KIT-Bibliothek | Impressum

Safe zero-cost coercions for Haskell

Breitner, J.; Eisenberg, R.A.; Peyton Jones, S.; Weiruch, S.



Zugehörige Institution(en) am KIT Institut für Programmstrukturen und Datenorganisation (IPD)
Publikationstyp Zeitschriftenaufsatz
Jahr 2016
Sprache Englisch
Identifikator DOI: 10.1017/S0956796816000150
ISSN: 0956-7968, 1469-7653
KITopen ID: 1000058670
Erschienen in Journal of functional programming
Band 26
Seiten 1-79
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page