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

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

    Research output: Scientific - peer-reviewArticle

  3. 2017
  4. Interactive proofs in higher-order concurrent separation logic

    Krebbers, R., Timany, A. & Birkedal, L. 2017 POPL 2017 Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages. New York: Association for Computer Machinery, p. 205-217 13 p. (ACM SIGPLAN Notices ; vol. 52, no. 1)

    Research output: Scientific - peer-reviewConference contribution

  5. 2016
  6. A Formal C Memory Model for Separation Logic

    Krebbers, R. 2016 In : Journal of Automated Reasoning. 57, 4, p. 319-387 69 p.

    Research output: Scientific - peer-reviewArticle

  7. Higher-order ghost state

    Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. p. 256-269 14 p.

    Research output: Scientific - peer-reviewConference contribution

  8. Moessner's Theorem: An Exercise in Coinductive Reasoning in Coq

    Krebbers, R., Parlant, L. & Silva, A. 2016 Theory and Practice of Formal Methods - Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. p. 309-324 16 p.

    Research output: Scientific - peer-reviewConference contribution

ID: 4511628