Ulysse Gérard

According to our database, Ulysse Gérard authored at least 4 papers between 2017 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Computing with relations, functions, and bindings. (Calculer avec des relations, des fonctions et des lieurs).

Ulysse Gérard

PhD thesis, 2019

Functional programming with lambda-tree syntax.

Ulysse Gérard, Dale Miller, Gabriel Scherer

CoRR, 2019

Functional programming with λ-tree syntax.

Ulysse Gérard, Dale Miller, Gabriel Scherer

Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages, 2019

2017

Separating Functional Computation from Relations.

Ulysse Gérard, Dale Miller

Proceedings of the 26th EACSL Annual Conference on Computer Science Logic, 2017