Yannick Forster

The MetaCoq Project

Matthieu Sozeau, Abhishek Anand, Simon Boulier et al. · Journal of Automated Reasoning · 2020 · 71 citations

Engineering, Graph Query Language, Very Large Database +6

Coq Coq correct! verification of type checking and erasure for Coq, in Coq

Matthieu Sozeau, Simon Boulier, Yannick Forster et al. · Proceedings of the ACM on Programming Languages · 2019 · 60 citations · Full text

Engineering, Coq Definitions, Type Theory +18

On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control

Yannick Forster, Ohad Kammar, Sam Lindley et al. · Proceedings of the ACM on Programming Languages · 2017 · 35 citations · Full text

Engineering, Relative Expressiveness, Semantics +20

On synthetic undecidability in Coq, with an application to the Entscheidungsproblem

Yannick Forster, Dominik Kirst, Gert Smolka · 2019 · 27 citations

Engineering, Verification, Computational Model Theory +16

Attentional warnings caused by driver monitoring systems: How often do they appear and how well are they understood?

Yannick Forster, Nadja Schoemig, Christina Kremer et al. · Accident Analysis & Prevention · 2024 · 24 citations

Cognitive Science, Warning System, Driver Behavior +10