Yannick Forster

Identifiers

No identifiers captured yet.

Papers (2)

1. Formal Small-step Verification of a Call-by-value Lambda Calculus Machine cs.LO · 2018 · author #3
2. On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control cs.LO · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Fabian Kunze 1 shared papers
• Gert Smolka 1 shared papers
• Matija Pretnar 1 shared papers
• Ohad Kammar 1 shared papers
• Sam Lindley 1 shared papers