pith. sign in

Sebastian Erdweg

Identifiers

  • name variant Sebastian Erdweg 0.60 · backfill

Papers (6)

  1. Type-safe, Polyvariadic Event Correlation cs.PL · 2019 · author #3
  2. PIE: A Domain-Specific Language for Interactive Software Development Pipelines cs.PL · 2018 · author #3
  3. A Co-contextual Type Checker for Featherweight Java (incl. Proofs) cs.PL · 2017 · author #2
  4. CPL: A Core Language for Cloud Computing -- Technical Report cs.PL · 2016 · author #2
  5. Proceedings of the 3rd Workshop on Domain-Specific Language Design and Implementation (DSLDI 2015) cs.PL · 2015 · author #2
  6. 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