Capture-Avoiding and Hygienic Program Transformations (incl. Proofs).
- Publication type:
- Journal article
- Metadata:
-
- 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
Data source: DBLP
- Other metadata sources:
-
- Beziehungen:
-