ask others

Yannick Forster 0002

> Home > Persons

Person information

affiliation: Saarland University, Germany
affiliation: University of Cambridge, UK

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – today

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c6]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/0002KS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/0002KS19
Yannick Forster, Dominik Kirst, Gert Smolka:
On synthetic undecidability in coq, with an application to the entscheidungsproblem. CPP 2019: 38-51
[c5]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/ForsterL19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/ForsterL19
Yannick Forster, Dominique Larchey-Wendling:
Certified undecidability of intuitionistic linear logic via binary stack machines and minsky machines. CPP 2019: 104-117
[c4]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/cpp/ForsterSSS19
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/cpp/ForsterSSS19
Yannick Forster, Steven Schäfer, Simon Spies, Kathrin Stark:
Call-by-push-value in coq: operational, equational, and denotational theory. CPP 2019: 118-131
2018
[c3]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/aplas/KunzeS018
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/aplas/KunzeS018
Fabian Kunze, Gert Smolka, Yannick Forster:
Formal Small-Step Verification of a Call-by-Value Lambda Calculus Machine. APLAS 2018: 264-283
[c2]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/0002HS18
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itp/0002HS18
Yannick Forster, Edith Heiter, Gert Smolka:
Verification of PCP-Related Computational Reductions in Coq. ITP 2018: 253-269
[i3]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1806-03205
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1806-03205
Fabian Kunze, Gert Smolka, Yannick Forster:
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine. CoRR abs/1806.03205 (2018)
2017
[j1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/pacmpl/0002KLP17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/pacmpl/0002KLP17
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the expressive power of user-defined effects: effect handlers, monadic reflection, delimited control. PACMPL 1(ICFP): 13:1-13:29 (2017)
[c1]
- view
  - electronic edition via DOI
- export record
  dblp key:
  - conf/itp/ForsterS17
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/itp/ForsterS17
Yannick Forster, Gert Smolka:
Weak Call-by-Value Lambda Calculus as a Model of Computation in Coq. ITP 2017: 189-206
[i2]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/abs-1711-07023
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/abs-1711-07023
Yannick Forster, Edith Heiter, Gert Smolka:
Verification of PCP-Related Computational Reductions in Coq. CoRR abs/1711.07023 (2017)
2016
[i1]
- view
  - electronic edition @ arxiv.org
- export record
  dblp key:
  - journals/corr/ForsterKLP16
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/corr/ForsterKLP16
Yannick Forster, Ohad Kammar, Sam Lindley, Matija Pretnar:
On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control. CoRR abs/1610.09161 (2016)

Coauthor Index

see FAQ

maintained by

, founded at