Collaborated with:
D.M.0001 G.Scherer
Talks about:
function (2) program (1) syntax (1) comput (1) separ (1) relat (1) tree (1)
Person: Ulysse Gérard
DBLP: G=eacute=rard:Ulysse
Contributed to:
Wrote 2 papers:
- CSL-2017-GerardM #functional
- Separating Functional Computation from Relations (UG, DM0), p. 17.
- PPDP-2019-Gerard0S #functional #programming #syntax
- Functional programming with λ-tree syntax (UG, DM0, GS), p. 16.