Timelines

0 selected for comparison (up to 4; sign in to compare up to 8)

Explore an exact timeline

Pan and zoom through a sample timeline to see nearby moments gather and separate.

Explore 20,000 sample moments ↗

Explore timelines

Search titles, notes and tags across public timelines. Popularity combines stars and public forks.

Proposition 54.43 of Whitehead and Russell's Principia Mathematica, from which "it will follow ... that 1 + 1 = 2"

Type theory and functional programming: a history

@athan · Changed 27 Oct 2026

From Frege's Begriffsschrift and Russell's theory of types to the lambda calculus, Curry–Howard, ML and Haskell, dependent types and proof assistants, and functional ideas in mainstream languages. Moments are tagged (type theory, logic, la…

Size: 82 moments
Span: 1879 CE – 2025 CE

history
computer science
type theory
functional programming
logic

CompareFork in browser

1 timeline · Page 1 of 1