Gaspard Férey

According to our database, Gaspard Férey authored at least 5 papers between 2014 and 2022.

Collaborative distances:

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

2022

Confluence of left-linear higher-order rewrite theories by checking their nested critical pairs.

Gilles Dowek, Gaspard Férey, Jean-Pierre Jouannaud, Jiaxiang Liu

Math. Struct. Comput. Sci., August, 2022

2021

Higher-Order Confluence and Universe Embedding in the Logical Framework. (Confluence d'ordre supérieur et encodage d'univers dans le Logical Framework).

Gaspard Férey

PhD thesis, 2021

Confluence in Non-Left-Linear Untyped Higher-Order Rewrite Theories.

Gaspard Férey, Jean-Pierre Jouannaud

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2016

Code Generation Using a Formal Model of Reference Counting.

Gaspard Férey, Natarajan Shankar

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2014

Monotonic functions in EC: anything but monotone!

Sylvain Colin, Benjamin Doerr, Gaspard Férey

Proceedings of the Genetic and Evolutionary Computation Conference, 2014