1. 2018
  2. Scopes as types

    van Antwerpen, H., Bach Poulsen, C., Rouvoet, A. & Visser, E. Oct 2018 In : Proceedings of the ACM on Programming Languages. 2, OOPSLA, 30 p., 114

    Research output: Scientific - peer-reviewArticle

  3. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C. B., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E. 10 Jan 2018 In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 1-34 34 p., 16

    Research output: Scientific - peer-reviewArticle

ID: 9850449