Didier Verna's Scientific Website
  • Home
  • About
  • Lectures
  • Publications
  • Talks
  • Projects
  • News
  • Projects
    • Document Engineering
      • Quickref / Declt
      • Beamer Theme OSX
    • Clon
  • Publications
    • Quantum Boundaries for Last Line Adjustments
    • An Update on the Method Combinations MOP
    • Towards More Homogeneous Paragraphs
    • Rapport d’Activité en Vue de la Qualification au Titre de Professeur des Universités, Section 27 — Informatique
    • Similarity Problems in Paragraph Justification
    • A Large Scale Format Compliance Checker for TeX Font Metric Files
    • The Quickref Cohort
    • Structural Analysis of the Additive Noise Impact on the Α-Tree
    • Interactive and Real-Time Typesetting for Demonstration and Experimentation: ETAP
    • Analyse structurelle de l’influence du bruit sur l’arbre alpha
    • A MOP-Based Implementation for Method Combinations
    • The Cost of Dynamism in Static Languages for Image Processing
    • Estimation de la Fonction de Niveau de Bruit pour des Images Couleurs en Utilisant la Morphologie Mathématique
    • Généricité Dynamique pour des Algorithmes Morphologiques
    • Estimation of the Noise Level Function for Color Images Using Mathematical Morphology and Non-Parametric Statistics
    • ETAP: Experimental Typesetting Algorithms Platform
    • A Corpus Processing and Analysis Pipeline for Quickref
    • (Dynamic (Programming Paradigms)) ;; Performance and Expressivity
    • Quickref: Common Lisp Reference Documentation as a Stress Test for Texinfo
    • Finite Automata Theory Based Optimization of Conditional Variable Binding
    • Implementing Baker’s SUBTYPEP decision procedure
    • Parallelizing Quickref
    • A Theoretical and Numerical Analysis of the Worst-Case Size of Reduced Ordered Binary Decision Diagrams
    • Method Combinators
    • Lisp, Jazz, Aikido -- Three Expressions of a Single Essence
    • Context-Oriented Image Processing
    • The Incredible Tale of the Author Who Didn’t Want to Do the Publisher’s Job
    • TiCL: the Prototype (Star TeX: the Next Generation, Season 2)
    • Extensible languages: blurring the distinction between DSLs and GPLs
    • Star TeX: the Next Generation
    • Standard Output Streams Default Behavior in Terminal Sessions
    • Biological Realms in Computer Science
    • Clarification Proposal for CLHS 22.3
    • File-Local Variables
    • Towards LaTeX Coding Standards
    • Classes, Styles, Conflicts: The Biological Realm of LaTeX
    • CLoX: Common Lisp objects for XEmacs
    • Revisiting the Visitor: the Just Do It Pattern
    • CLOS efficiency: instantiation
    • Télé-opération et Réalité Virtuelle: Assistance à l’Opérateur par Modélisation Cognitive de ses Intentions
  • Talks
    • The Art, Science, and Craftsmanship of Typography
    • Traitement des Similarités dans la Justification de Paragraphe
    • L'algorithme de Knuth-Plass
  • News
    • Clon 1.0b27 is out
    • Clon 1.0b26 is out
    • Quickref 4.0b1 is out
    • Declt 4.0b1 is out
    • Clon 1.0b25 is out
    • Quickref 3.0 "The Alchemist" is out
    • Declt 3.0 "Montgomery Scott" is out
    • Quickref 2.0 "Be Quick or Be Dead" is out
    • Quickref 1.0 "The Trooper" is out
    • Lisp, Jazz, Aikido, 10 years later
    • Announcing Quickref: a Global Documentation Project for Common Lisp
    • Declt 2.3 "Robert April" is out
    • Standard IO syntax and the Robustness Principle
    • Declt 2.2 "Christopher Pike" is out
    • Declt 2.1 "Jonathan Archer" is out
    • Declt 2.0.1 "Benjamin Sisko" is out
    • ASDF-FLV 2.0
    • The Return of Segfaults
    • Declt 2.0 "Kathryn Janeway" is out (important)
    • Declt 1.1 "Jean-Luc Picard" is out
    • Clon 1.0b24 is out (important)
    • Declt 1.0 "James T. Kirk" is out
    • Lisp Corner Cases: Method Combinations
    • Nice little trick du jour
    • Declt 1.0b15 is out
    • Clon 1.0b23 is out
    • Declt 1.0b14 is out
    • Language wars
    • Declt 1.0b13 is out
    • Clon 1.0b22 is out
    • The Syntax Extension Myth
    • Clon 1.0b21 is out
    • Clon 1.0b20 is out
    • CL-RCFiles 2.0 is out
    • One More Indentation Hack
    • Declt 1.0b12 is out
    • Read-Time String Concatenation
    • Declt 1.0b11 is out
    • Common Lisp indentation in Emacs
    • File-Local Variables
    • Declt 1.0b9 is out
    • Clarification proposal for CLHS 22.3
    • Clon 1.0b19 is out
    • Which Open Source License for Lisp?
    • Clon 1.0b18 is out
    • Clon 1.0b17 is out
    • Towards ABCL Standalone Executables
    • Clon 1.0b16 is out
    • Clon 1.0b15 is out
    • Clon 1.0b12 is out
    • Clon 1.0b11 is out
    • Announcing Declt, a Documentation Generator for Common Lisp Libraries
    • Announcing Clon, the Common Lisp / Command-Line Options Nuker
    • :o( Smilisp :o) A new and revolutionary dialect of Lisp
    • Lisp, Jazz, Aikido
    • CCL Objective-C Bridge Code Indentation
  • Lectures
    • Programming Paradigms
      • IGPP
      • AOP
      • AFP
    • TYPO
  • About Me
  • Document Engineering
    • Quickref / Declt
    • Beamer Theme OSX
  • Clon
Projects
Document Engineering

Document Engineering

Quickref / Declt featured image
Document Engineering

Quickref / Declt

Automatic documentation for Common Lisp libraries

Sep 2, 2025 • 2 min read
Read more
Beamer Theme OSX featured image
Document Engineering

Beamer Theme OSX

A MacOS X 10.5 (Leopard) look for your slides

Sep 29, 2026 • 1 min read
Read more
Last updated on Sep 2, 2025

Copyright © 2026 Didier Verna. This work is licensed under CC BY NC ND 4.0

Made with Hugo Blox Builder.