https://yforster.de/publication/2009-10-01-paper-title-number-1 2009-10-01T00:00:00-07:00 https://yforster.de/publication/2010-10-01-paper-title-number-2 2010-10-01T00:00:00-07:00 https://yforster.de/publication/2015-10-01-paper-title-number-3 2015-10-01T00:00:00-07:00 https://yforster.de/talks/2012-03-01-talk-1 2012-03-01T00:00:00-08:00 https://yforster.de/talks/2013-03-01-tutorial-1 2013-03-01T00:00:00-08:00 https://yforster.de/talks/2014-02-01-talk-2 2014-02-01T00:00:00-08:00 https://yforster.de/talks/2014-03-01-talk-3 2014-03-01T00:00:00-08:00 https://yforster.de/teaching/2014-spring-teaching-1 2014-01-01T00:00:00-08:00 https://yforster.de/teaching/2015-spring-teaching-1 2015-01-01T00:00:00-08:00 https://yforster.de/ https://yforster.de/archive-layout-with-content/ https://yforster.de/categories/ https://yforster.de/collection-archive/ https://yforster.de/cv/ https://yforster.de/icfp23-workshops/ https://yforster.de/markdown/ https://yforster.de/non-menu-page/ https://yforster.de/page-archive/ https://yforster.de/portfolio/ https://yforster.de/publications/ https://yforster.de/sitemap/ https://yforster.de/tags/ https://yforster.de/talkmap.html https://yforster.de/talks/ https://yforster.de/teaching/ https://yforster.de/terms/ https://yforster.de/year-archive/ https://yforster.de/files/Talk%20Algorithmic%20Law%20Design%20and%20Implementation:%20Verified%20Extraction%20to%20OCaml%20from%20Coq,%20in%20Coq.pdf 2023-06-12T03:26:03-07:00 https://yforster.de/files/blankdossier.pdf 2023-10-17T00:40:55-07:00 https://yforster.de/files/inria-application-yannick-forster-2023.pdf 2023-09-21T05:33:33-07:00 https://yforster.de/files/lightning-talks-herrsching23.pdf 2023-09-21T05:38:09-07:00 https://yforster.de/files/markovs-principles-types23.pdf 2023-06-18T00:29:07-07:00 https://yforster.de/files/paper1.pdf 2023-06-12T03:26:03-07:00 https://yforster.de/files/paper2.pdf 2023-06-12T03:26:03-07:00 https://yforster.de/files/paper3.pdf 2023-06-12T03:26:03-07:00 https://yforster.de/files/talk-chocola-synthetic-computability.pdf 2022-06-02T01:10:01-07:00 https://yforster.de/files/talk-mfps23.pdf 2023-06-22T13:01:10-07:00 https://yforster.de/talkmap/map.html 2023-06-12T03:26:03-07:00