Yannick Forster

1. Determination of the fifth Busy Beaver value
   2025/09/15 by The bbchallenge Collaboration, Justin Blanchard, Blanchard, Justin +34 · 20 voices · 2 citations
   Agricultural and Biological Sciences · Environmental Science · #Botany and Plant Ecology Studies #Ecology and biodiversity studies #cs.FL #cs.LO #math.LO
2. Correct and Complete Type Checking and Certified Erasure for Coq , in Coq
   2024/11/27 by Matthieu Sozeau, Yannick Forster, Meven Lennon-Bertrand +4 · 6 citations
   Computer Science · #Logic, programming, and type systems #Security and Verification in Computing #Formal Methods in Verification
3. On the Expressive Power of User-Defined Effects: Effect Handlers,\n Monadic Reflection, Delimited Control
   2016/10/28 by Yannick Forster, Forster, Yannick, Ohad Kammar +5 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Programming Languages (cs.PL) #Semantic Web and Ontologies
4. Verified Extraction from Coq to OCaml
   2024/06/20 by Yannick Forster, Matthieu Sozeau, Nicolas Tabareau · 1 voice · 1 citation
   Computer Science · #Advanced Malware Detection Techniques #Logic, programming, and type systems #Security and Verification in Computing