Posts

• Where does the name "algebraic data type" come from? - July 26, 2024
• Programming Turing machines with regexes - June 18, 2024
• Abstract nonsense - September 5, 2023
• Formalizing finite sets - May 27, 2022
• The pro-PER meaning of "proper" - April 7, 2022
• On proving lists infinite - October 26, 2021
• Initial and final encodings of free monads - October 20, 2021
• What is a type? - March 17, 2021
• Theory of iteration and recursion - January 3, 2021
• A monad is just a submonad of the continuation monad, what's the problem? - October 27, 2019
• The reasonable effectiveness of the continuation monad - October 26, 2019
• Free monads of free monads - June 9, 2019
• Formalization of Reynolds's parametricity theorem in Coq - April 3, 2019
• Haskell with only one type family - August 6, 2018
• A terminal view of testing polymorphic functions - June 29, 2017
• Canonical testing for polymorphic functions - June 7, 2017
• Free monad transformers - May 28, 2017