Edsko de Vries | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Armando Solar-Lezama
40 publications
Nadia Polikarpova
13 publications
James Koppel
6 publications
Zheng Guo
4 publications
Vasileios Koutavas
3 publications

research

∙ 06/15/2022

Searching Entangled Program Spaces

Many problem domains, including program synthesis and rewrite-based opti...

0 James Koppel, et al. ∙

research

∙ 10/23/2017

Locally Nameless Permutation Types

We define "Locally Nameless Permutation Types", which fuse permutation t...

0 Edsko de Vries, et al. ∙

Success!

An error occurred