egxn / squirrel

🐿️ Ms Research

📄 Papers:

• Dependent Types at Work - Ana Bove and Peter Dybjer

• Dependently Typed Programming in Agda - Ulf Norell

• One Monad to Prove Them All - Sandra Dylusa , Jan Christiansenb , and Finn Teegena

• Notions of computation and monads - Eugenio Moggi

📚 Books:

Type Theory:

• Formal Reasoning About Programs- Adam Chlipala
• Certified Programming with Dependent Types

Category Theory:

• Category theory for programmers - Bartosz Milewski

• What is applied category theory? - Tai-danae Bradley

• Seven Sketches in Compositionality - Brendan Fong David I. Spivak

• Categorical homotopy theory - Emily Riehl

• Category Theory in Context - Emily Riehl

• Elements of ∞-Category Theory - Emily Riehl and Dominic Verity

• Theoretical Computer Science For The Working Category Theorist - Noson S. Yanofsky

Software foundations

📺 Videos:

• "Propositions as Types" by Philip Wadler
• Lambda World 2019 - A categorical view of computational effects - Emily Riehl
• "Dependent Types in Haskell" by Stephanie Weirich
• "Proof Theory Impressionism: Blurring the Curry-Howard Line" by Dan Pittman
• "Category Theory: An Abstraction for Anything" by Alissa Pajer (2013)
• "A Little Taste of Dependent Types" by David Christiansen
• Dependent Types - salvation or plague | Lambda Days 2021
• Daniel Beskin - Category Theory as a Tool for Thought - Lambda Days 2020

🎓 Lectures:

• Applied Category Theory

• Category Theory for Scientists - MIT Open Courseware

• Formal Reasoning About Programs

• Theory of Computation

• Mathematics for Computer science

💻 Languages:

• Coq
• Agda
• Idris
• Lean
• Haskell
• PureScript
• Reason
• Elm

Blogs:

• Taxonomy
• What is Category Theory Anyway?
• Emily Riehl Talks