http://comonad.com/reader/2010/brodal-okasaki-heaps-in-haskell/ types, (co)monads, substructural logic Sat, 29 Dec 2012 15:18:06 -0800 http://wordpress.org/?v=2.8.4 hourly 1