Dramatis Personæ

...

—Marcel Marceau

In real life (Computer Science)

• Henk Barendregt (name convention)
• Yves Bertot (multiplying two consecutive natural numbers)
• Sylvain Chevillard (isometries in the equilateral triangle)
• Edsger W. Dijkstra (program testing, informally, program testing, formally)
• Mayer Goldberg (introduction to the lambda calculus)
• Georges Gonthier (SSReflect)
• Chantal Keller (isometries in the equilateral triangle)
• Peter J. Landin (syntactic sugar, founding father)
• Assia Mahboubi (SSReflect)
• Robin Milner (ML, founding father)
• James H. Morris (observational equivalence)
• Gordon D. Plotkin (static types)
• Damien Pous (isometries in the equilateral triangle)
• Kristoffer Rose (convenient convention)
• Ilya Sergey (SSReflect)
• Enrico Tassi (SSReflect)

In real life (before Computer Science)

• L. E. J. Brouwer (intuitionism)
• Haskell Curry (types as propositions)
• Leonhard Euler (4294967297 is divisible by 641)
• Pierre de Fermat (not enough room, numbers)
• William Howard (propositions as types)
• Gottfried Wilhelm Leibniz (equality)
• Giuseppe Peano (numerals)
• Alfred North Whitehead (ignorance of ignorance)

In real life (outside Computer Science)

• Arthur C. Clarke (technology vs. magic)
• Ted Chiang (lifecycle of software objects)
• Frédéric Chopin (simplicity)
• Philip K. Dick (disaster city)
• W. C. Fields (there is something)
• John Lennon (Back in the USSR)
• René Magritte (the treachery of images, more treachery of images)
• Paul McCartney (Back in the USSR)
• Marcel Marceau (...)
• Mao Zedong (mechanism vs. solution, yup)
• Donna Summer (full of emptiness)
• Ready Teddy (fold-list to the left, fold-list to the right)
• Mae West (How do you know?)
• Oscar Wilde (resist everything)
• Neil Young (Hey Hey (My My), My My (Hey Hey))

Fictional (main characters)

• Alfrothul
• Anton
• Dana
• Halcyon Kingfisher
• Loki the Mischievous
• Mimer the Level Headed
• Na Bong-sun
• Pablito

Fictional (recurring)

• Alastor “Mad Eye” Moody
• The fourth wall
• The happy drunkard

Fictional (others)

• Carmen (Il n’est pas défendu de penser)
• Morpheus (trying to be smart)
• Malcolm Reynolds (What was that?)
• The Robot (Danger, Will Robinson!)
• Yoda (proof we need)

Version

Added Leonhard Euler [29 Jun 2025]

Added Carmen [22 Jun 2025]

Added Mayer Goldberg [04 Jun 2025]

Added Frédéric Chopin [24 May 2025]

Added James H. Morris [12 Apr 2025]

Added Sylvain Chevillard, Arthur C. Clarke, W. C. Fields, Chantal Keller, Damien Pous, the robot, and Mae West [21 Mar 2025]

Added L. E. J. Brouwer and Neil Young [13 Mar 2025]

Added Henk Barendregt, Yves Bertot, and Kristoffer Rose [07 Mar 2025]

Added Georges Gonthier, John Lennon, Assia Mahboubi, Paul McCartney, Ilya Sergey, and Enrico Tassi [22 Feb 2025]

Added Pierre de Fermat, Donna Summer, Ready Teddy, and Yoda [21 Feb 2025]

Added Philip K. Dick, Morpheus, and Oscar Wilde [13 Feb 2025]

Added Alfred North Whitehead [07 Feb 2025]

Added René Magritte [31 Jan 2025]

Added Edsger W. Dijkstra and Gottfried Leibniz [24 Jan 2025]

Added Ted Chiang, Haskell Curry, William Howard, Peter Landin, Mao Zedong, Robin Milner, Giuseppe Peano, and Gordon Plotkin [14 Jan 2024]

Added Marcel Marceau and Malcolm Reynolds [14 Jan 2025]

Created [14 Jan 2025]