## The codensity monad

February 12th, 2010 by GrahamToday I gave a introduction to the codensity monad aimed at the “functional programmer in the street”, rather than the “category theorist in the cupboard”. The emphasis was on understanding how one can arrive at the codensity monad in a natural manner starting from the simple and familiar example of improving the performance of list reverse.

February 15th, 2010 at 4:54 pm

Have you uploaded the slides somewhere ? Thanks.

February 20th, 2010 at 11:35 am

Would you mind posting the slides?

Thanks