TU Darmstadt / ULB / TUbiblio

Modular and automated type-soundness verification for language extensions

Lorenzen, Florian ; Erdweg, Sebastian :
Modular and automated type-soundness verification for language extensions.
[Online-Edition: http://dx.doi.org/10.1145/2500365.2500596]
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
[Konferenz- oder Workshop-Beitrag], (2013)

Offizielle URL: http://dx.doi.org/10.1145/2500365.2500596
Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 2013
Autor(en): Lorenzen, Florian ; Erdweg, Sebastian
Titel: Modular and automated type-soundness verification for language extensions
Sprache: Englisch
Buchtitel: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
Fachbereich(e)/-gebiet(e): Fachbereich Informatik > Softwaretechnik
Fachbereich Informatik
Hinterlegungsdatum: 22 Apr 2014 14:40
Offizielle URL: http://dx.doi.org/10.1145/2500365.2500596
ID-Nummer: 10.1145/2500365.2500596
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen