Separating Functional Computation from Relations. - Ulysse Gérard; Dale Miller 001 (CSL, 2017)

Functional programming with λ-tree syntax. - Ulysse Gérard; Dale Miller 001; Gabriel Scherer (PPDP, 2019)

Functional programming with lambda-tree syntax. - Ulysse Gérard; Dale Miller 001; Gabriel Scherer (CoRR, 2019)

Computing with relations, functions, and bindings. (Calculer avec des relations, des fonctions et des lieurs). - Ulysse Gérard (2019)