Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).
- Publikationstyp:
- Zeitschriftenaufsatz
- Metadaten:
-
- Autoren
-
Sebastian Erdweg
-
Tijs van der Storm
-
Yi Dai
- Zeitschrift
- CoRR
- Datum der Veröffentlichung
- 2014
- Titel
- Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).
- Ausgabe der Zeitschrift
- abs/1404.5770
Datenquelle: DBLP
- Andere Metadatenquellen:
-
- Beziehungen:
-