Forster, Yannick

1. Determination of the fifth Busy Beaver value
   2025/09/15 by The bbchallenge Collaboration, Justin Blanchard, Daniel Briggs +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. On the Expressive Power of User-Defined Effects: Effect Handlers,\n Monadic Reflection, Delimited Control
   2016/10/28 by Yannick Forster, Ohad Kammar, Forster, Yannick +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