TU Darmstadt / ULB / TUbiblio

Modular and automated type-soundness verification for language extensions

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

Item Type: Conference or Workshop Item
Erschienen: 2013
Creators: Lorenzen, Florian and Erdweg, Sebastian
Title: Modular and automated type-soundness verification for language extensions
Language: English
Title of Book: Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13
Divisions: 20 Department of Computer Science > Software Technology
20 Department of Computer Science
Date Deposited: 22 Apr 2014 14:40
Official URL: http://dx.doi.org/10.1145/2500365.2500596
Identification Number: doi:10.1145/2500365.2500596
Export:

Optionen (nur für Redakteure)

View Item View Item