Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
2013 |
Autor(en): |
Lorenzen, Florian ; Erdweg, Sebastian |
Art des Eintrags: |
Bibliographie |
Titel: |
Modular and automated type-soundness verification for language extensions |
Sprache: |
Englisch |
Publikationsjahr: |
2013 |
Buchtitel: |
Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 |
DOI: |
10.1145/2500365.2500596 |
Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik > Softwaretechnik 20 Fachbereich Informatik |
Hinterlegungsdatum: |
22 Apr 2014 14:40 |
Letzte Änderung: |
22 Apr 2014 14:40 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |