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

ID: 9850449