Research output

  1. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Research output: Scientific - peer-reviewConference contribution

View all (1) »

ID: 9850449