Publications

Didier Verna (2024). Similarity Problems in Paragraph Justification. In DocEng'24.
PDF Cite Dataset Slides Video DOI
Didier Verna (2024). A Large Scale Format Compliance Checker for TeX Font Metrics. In TUG 2024.
PDF Cite Slides Video DOI
Didier Verna (2023). A MOP-Based Implementation for Method Combinations. In ELS 2023.
PDF Cite Code Slides Video DOI
Didier Verna (2018). Lisp, Jazz, Aikido -- Three Expressions of a Single Essence. <Programming/> Journal, 2(3).
PDF Cite Video DOI Interview (French)
Didier Verna (2011). Clarification Proposal for CLHS 22.3. CDR 7.
PDF Cite DOI