Qui ?
Je suis (bientôt ex-) doctorant en informatique. Mes principaux thèmes de recherches sont la logique, la théorie de la démonstration et l'étude et la conception de langages de programmation fonctionnels. À côté de ça, je prend un plaisir malsain à lire la documentation de tous les nouveaux languages et outils que je croise sur mon chemin.
Publications
- 2019 Functional programming with λ-tree syntax by Ulysse Gérard, Dale Miller, and Gabriel Scherer. Submitted.
- 2018 Computation-as-deduction in Abella: work in progress by Kaustuv Chaudhuri, Ulysse Gérard, and Dale Miller. LFMTP 2018: Logical Frameworks and Meta-Languages: Theory and Practice, Oxford, 7 July 2018. Slides. Paper in HAL.
- 2018 Functional programming with λ-tree syntax: a progress report by Ulysse Gérard and Dale Miller. Draft dated 26 May 2018. LFMTP 2018: Logical Frameworks and Meta-Languages: Theory and Practice, Oxford, 7 July 2018. Version on HAL. Paper in HAL.
- 2017 Separating Functional Computation from Relations by Ulysse Gérard and Dale Miller. CSL 2017, page 23:1-23:17. DOI 10.4230/LIPIcs.CSL.2017.23. Draft dated 20 June 2017.