fr

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.

Pourquoi ce titre ?

J'aimerais que ce site soit plus qu'un blog de programmation. Je tâcherai d'y présenter d'autres projets sans lien direct avec l'informatique, comme mes origamis.

Le Festin Nu, ou Naked Lunch en anglais, est un roman de science-fiction écrit par William S. Burroughs. Il a été adapté au cinéma par David Cronenberg en 1991.

J'espère que vous excuserez le titre un peu racoleur de ce blog, à part quelques origamis de fort mauvais goût vous n'y trouverez pas de nudité.

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.