Research output

  1. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Scientific - peer-reviewConference contribution

  2. Scopes describe frames: A uniform model for memory layout in dynamic semantics

    Research output: Scientific - peer-reviewConference contribution

View all (4) »

ID: 152517