Research output

  1. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Scientific - peer-reviewArticle

  2. Deep Priority Conflicts in the Wild: A Pilot Study

    Research output: Scientific - peer-reviewConference contribution

  3. FlowSpec: Declarative Dataflow Analysis Specification

    Research output: Scientific - peer-reviewConference contribution

View all (93) »

Activities

  1. Association for Computing Machinery (ACM) (Publisher)

    Activity: Publication peer-review and editorial workPublication peer-review

  2. Lecture Notes in Computer Science (Journal)

    Activity: Publication peer-review and editorial workEditorial activity

  3. Association for Computing Machinery (ACM) (Publisher)

    Activity: Publication peer-review and editorial workPublication peer-review

View all (5) »

ID: 202181