TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 1.

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)

Diese Liste wurde am Tue Jan 22 02:42:09 2019 CET generiert.