Sebastian Erdweg
Identifiers
- name variant Sebastian Erdweg 0.60 · backfill
Papers (6)
- Type-safe, Polyvariadic Event Correlation cs.PL · 2019 · author #3
- PIE: A Domain-Specific Language for Interactive Software Development Pipelines cs.PL · 2018 · author #3
- A Co-contextual Type Checker for Featherweight Java (incl. Proofs) cs.PL · 2017 · author #2
- CPL: A Core Language for Cloud Computing -- Technical Report cs.PL · 2016 · author #2
- Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015) cs.PL · 2015 · author #2
- Capture-Avoiding and Hygienic Program Transformations (incl. Proofs) cs.PL · 2014 · author #1
Mentions
- 1508.03536 #2 · backfill · confidence 0.70 Sebastian Erdweg
- 1404.5770 #1 · backfill · confidence 0.70 Sebastian Erdweg
Frequent Coauthors
- Mira Mezini 3 shared papers
- Oliver Bra\v{c}evac 3 shared papers
- Guido Salvaneschi 2 shared papers
- Tijs van der Storm 2 shared papers
- Andi Bejleri 1 shared papers
- Edlira Kuci 1 shared papers
- Eelco Visser (Delft University of Technology 1 shared papers
- Gabri\"el Konat 1 shared papers
- Michael J. Steindorfer 1 shared papers
- Netherlands) 1 shared papers
- Yi Dai 1 shared papers