Research output

  1. Scopes as types

    Research output: Scientific - peer-reviewArticle

  2. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Scientific - peer-reviewArticle

View all (2) »

ID: 9850449