Yannick Zakowski | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Steve Zdancewic
13 publications
Benjamin C. Pierce
13 publications
Ludovic Henrio
10 publications
Paul He
5 publications
Chung-Kil Hur
5 publications
Li-yao Xia
4 publications
Gregory Malecha
2 publications
Nicolas Chappe
2 publications

research

∙ 11/13/2022

Choice Trees: Representing Nondeterministic, Recursive, and Impure Programs in Coq

This paper introduces Choice Trees (ctrees), a monad for modeling nondet...

0 Nicolas Chappe, et al. ∙

research

∙ 01/08/2020

An Equational Theory for Weak Bisimulation via Generalized Parameterized Coinduction

Coinductive reasoning about infinitary structures such as streams is wid...

0 Yannick Zakowski, et al. ∙

research

∙ 05/31/2019

Interaction Trees: Representing Recursive and Impure Programs in Coq (Work In Progress)

We present "interaction trees" (ITrees), a general-purpose data structur...

0 Li-yao Xia, et al. ∙