1. 2017
  2. Intrinsically-Typed Definitional Interpreters for Imperative Languages

    Poulsen, C., Rouvoet, A., Tolmach, A., Krebbers, R. & Visser, E. 10 Nov 2017 Proceedings of the ACM on Programming Languages, Vol. 2, No. POPL. Association for Computing Machinery (ACM)

    Research output: Scientific - peer-reviewConference contribution

  3. 2016
  4. 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

  5. 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

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

    Poulsen, C. B., Neron, P., Tolmach, A. & Visser, E. 2016 Delft: Delft University of Technology Software Engineering Research Group. 40 p. (TUD-SERG-2016-010)

    Research output: Other research outputReport

ID: 152517