Type systems for the masses: deriving soundness proofs and efficient checkers.
- Publikationstyp:
- Konferenzbeitrag
- Metadaten:
-
- Autoren
-
Sylvia Grewe
-
Sebastian Erdweg
-
Pascal Wittmann
-
Mira Mezini
- Editoren
-
Gail C Murphy
-
Guy L Steele Jr
- ISBN-13
- 978-1-4503-3688-8
- Zeitschrift
- Onward!
- Paginierung
- 137 - 150
- Datum der Veröffentlichung
- 2015
- Herausgeber
- ACM
- Herausgeber URL
- https://doi.org/10.1145/2814228
- Titel
- Type systems for the masses: deriving soundness proofs and efficient checkers.
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
-