Programming Systems Lab: Publications by Yannick Forster

Saarland University Computer Science

Select author:


Verification of PCP-Related Computational Reductions in Coq   (pdf)
Yannick Forster, Edith Heiter, Gert Smolka
submitted for review

On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control   (pdf)
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar
International Conference on Functional Programming, ICFP 2017, Oxford, United Kingdom, September 3-9, 2017

Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq   (pdf)
Yannick Forster, Gert Smolka
Interactive Theorem Proving - 8th International Conference, ITP 2017, Brasilia, Brazil, September 26-29, 2017

Login to edit

Webmaster, Mon May 30 13:48:30 2016