Type Theory

concepts · 4 notes linked

Related: Haskell · Functional Programming · Category Theory · Alan Turing · Claude Shannon · John Mccarthy · Leslie Lamport · Computer Science History

Notes

• 100 Years of Computer Science — Curated timeline of ten landmark computer science papers 1923-2014
• Category theory for beginners — Category theory concepts mapped to functional programming abstractions
• Michael Shulman: Papers — Michael Shulman's research index on category theory and homotopy type theory
• Translating math into code with examples in Java, Racket, Haskell and Python — Mapping discrete math structures to immutable functional code patterns