Of theoretical interest
Posts

Formalizing finite sets  May 27, 2022

The proPER 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