Research output

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

    Research output: Scientific - peer-reviewArticle

  2. Exploration of language specifications by compilation to first-order logic

    Research output: Scientific - peer-reviewArticle

  3. A Co-contextual Type Checker for Featherweight Java

    Research output: Scientific - peer-reviewConference contribution

View all (23) »

Activities

  1. IncAL: A DSL for Incremental Program Analysis with Lattices

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

  2. Privacy-aware Distributed Incremental Computation

    Activity: Talk or presentationTalk or presentation at a workshop, seminar, course or other meeting

View all (2) »

ID: 110865