Dramatis Personæ

...

—Marcel Marceau

In real life (Computer Science)

• Henk Barendregt (name convention)
• Yves Bertot (multiplying two consecutive natural numbers)
• Edsger W. Dijkstra (program testing, proving incorrectness)
• Georges Gonthier (SSReflect)
• Peter J. Landin (syntactic sugar, founding father)
• Assia Mahboubi (SSReflect)
• Robin Milner (ML, founding father)
• Gordon D. Plotkin (static types)
• 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)
• Pierre de Fermat (not enough room)
• Évariste Galois (je ne sais pas)
• 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)
• Philip K. Dick (disaster city)
• W. C. Fields (there is something)
• Neil Gaiman (Stardust)
• John Lennon (Back in the USSR)
• René Magritte (the treachery of images)
• Paul McCartney (Back in the USSR)
• Donna Summer (full of emptiness)
• Ready Teddy (fold-list to the left, fold-list to the right)
• Mae West (How do you know?)
• Mao Zedong (mechanism vs. solution)
• Marcel Marceau (...)
• 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

Fictional (others)

• Morpheus (trying to be smart)
• Malcolm Reynolds (What was that?)
• The Robot (Danger, Will Robinson!)
• Yoda (proof we need)

Version

Added Gottfried Wilhelm Leibniz [15 Apr 2024]

Added Évariste Galois [24 Apr 2024]

Added Arthur C. Clarke W. C. Fields, the robot, and Mae West [08 Mar 2024]

Added Henk Barendregt, Yves Bertot, Kristoffer Rose, Ready Teddy, and Yoda [22 Feb 2024]

Added Pierre de Fermat and Donna Summer [16 Feb 2024]

Added L. E. J. Brouwer, Philip K. Dick, John Lennon, Assia Mahboubi, Paul McCartney, Morpheus, Ilya Sergey, Enrico Tassi, Oscar Wilde, and Neil Young [09 Feb 2024]

Added Alfred North Whitehead [01 Feb 2024]

Added Edsger W. Dijkstra, Neil Gaiman, René Magritte, and Mao Zedong [25 Jan 2024]

Added Ted Chiang [19 Jan 2024]

Added Peter Landin [19 Jan 2024]

Added Haskell Curry, William Howard, Robin Milner, Giuseppe Peano, and Gordon Plotkin [18 Jan 2024]

Added Marcel Marceau and Malcolm Reynolds [15 Jan 2024]

Created [15 Jan 2024]