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

  4. 2016
  5. Scopes describe frames: A uniform model for memory layout in dynamic semantics

    Poulsen, C. B., Néron, P., Tolmach, A. & Visser, E. 1 Jul 2016 30th European Conference on Object-Oriented Programming, ECOOP 2016. Krishnamurthi, S. & Lerner, B. S. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Vol. 56, p. 1-26 26 p. 20

    Research output: Scientific - peer-reviewConference contribution

  6. Scopes Describe Frames: A Uniform Model for Memory Layout in Dynamic Semantics (Artifact)

    Poulsen, C. B., Neron, P., Tolmach, A. & Visser, E. 2016 p. 1-3 3 p.

    Research output: Other research outputOther

ID: 152517