Ulysse Gérard

Publication Activity (10 Years)

Years Active: 2017-2019
Publications (10 Years): 3

Top Topics

Functional Programming

Quantifier Elimination

Index Structure

Top Venues

Publications

Ulysse Gérard, Dale Miller, Gabriel Scherer
Functional programming with lambda-tree syntax. CoRR (2019)
Ulysse Gérard, Dale Miller, Gabriel Scherer
Functional programming with λ-tree syntax. PPDP (2019)
Ulysse Gérard, Dale Miller
Separating Functional Computation from Relations. CSL (2017)