Publications

šŸš§ Currently under reconstruction.

Didier Verna (2019). A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams. ACM ToCL.
Cite
Didier Verna (2018). Method Combinators. In ELS'2018.
PDF Cite Slides DOI
Didier Verna (2018). Lisp, Jazz, Aikido -- Three Expressions of a Single Essence. In the <Programming/> Journal, 2(3).
Interview (French) Video PDF Cite DOI
Didier Verna (2011). Clarification Proposal for CLHS 22.3. CDR 7.
PDF Cite DOI
Didier Verna (2000). TeĢleĢ-opeĢration et ReĢaliteĢ Virtuelle: Assistance aĢ€ lā€™OpeĢrateur par ModeĢlisation Cognitive de ses Intentions.
PDF Cite DOI