I am a (soon former) PhD student in computer science. My main research topics involve logic, proof-search, and functional programming language design. I am also a documentation addict and take an unnatural pleasure in learning new languages, technologies and tools. This website itself is written in OCaml/ReasonML, compiled to ReactJS and statically built with GatsbyJS...
- 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.