Research output

  1. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Scientific - peer-reviewConference contribution

  2. IceDust 2: Derived Bidirectional Relations and Calculation Strategy Composition

    Research output: Scientific - peer-reviewConference contribution

View all (87) »

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