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 (2015). Context-Oriented Image Processing. COP'2015.
PDF Cite Slides DOI
Didier Verna (2013). TiCL: the Prototype (Star TeX: the Next Generation, Season 2). TUG'2013.
PDF Cite Slides
Didier Verna (2013). The Incredible Tale of the Author Who Didn’t Want to Do the Publisher’s Job. TUG'2013.
PDF Cite Slides
Didier Verna (2012). Extensible languages: blurring the distinction between DSLs and GPLs.
Cite DOI
Didier Verna (2012). Star TeX: the Next Generation. TUG-2012.
PDF Cite Slides
Didier Verna (2012). Standard Output Streams Default Behavior in Terminal Sessions. CDR 11.
PDF Cite DOI
Didier Verna (2011). Biological Realms in Computer Science. Onward! 2011.
PDF Cite Slides DOI