Publication type: Preprint / Author: Erdweg, Sebastian - Universitätsbibliographie Search Results

Start Over Publication type Preprint Author Erdweg, Sebastian

1. Capture-Avoiding and Hygienic Program Transformations (incl. Proofs)

Autoren:: Erdweg, Sebastian; Storm, Tijs van der; Dai, Yi
Veröffentlichungsdatum:: 2014
Type:: Preprint

2. Type-safe, Polyvariadic Event Correlation

Autoren:: Bračevac, Oliver; Salvaneschi, Guido; Erdweg, Sebastian; Mezini, Mira
Veröffentlichungsdatum:: 2019
Type:: Preprint

3. A Co-contextual Type Checker for Featherweight Java (incl. Proofs)

Autoren:: Kuci, Edlira; Erdweg, Sebastian; Bračevac, Oliver; Bejleri, Andi; Mezini, Mira
Veröffentlichungsdatum:: 2017
Type:: Preprint

4. CPL: A Core Language for Cloud Computing -- Technical Report

Autoren:: Bračevac, Oliver; Erdweg, Sebastian; Salvaneschi, Guido; Mezini, Mira
Veröffentlichungsdatum:: 2016
Type:: Preprint

5. Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015)

Autoren:: Storm, Tijs van der; Erdweg, Sebastian
Veröffentlichungsdatum:: 2015
Type:: Preprint

6. A Module-System Discipline for Model-Driven Software Development

Autoren:: Erdweg, Sebastian; Ostermann, Klaus
Veröffentlichungsdatum:: 2017
Type:: Preprint

7. PIE: A Domain-Specific Language for Interactive Software Development Pipelines

Autoren:: Konat, Gabriël; Steindorfer, Michael J; Erdweg, Sebastian; Visser, Eelco
Veröffentlichungsdatum:: 2018
Type:: Preprint