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...
Why is this blog Naked ?
I would like this website to be more than a simple "code blog" with programming tips and so on. It aims to be a personal place where I will also share non-computer related projects and thoughts about books and movies I enjoy.
The Naked Lunch is both of these: a science-fiction novel written by William S. Burroughs, and a movie by David Cronenberg inspired by the book.
Sorry, you will not find nudes on this blog, apart from some obscene origamis...
- 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.