Research output

  1. The semantics of name resolution in Grace

    Research output: Scientific - peer-reviewConference contribution

  2. Dynsem: A DSL for dynamic semantics specification

    Research output: Scientific - peer-reviewConference contribution

View all (9) »

ID: 5035148