[Haskell-cafe] AT solution: rebinding >>= for restricted monads

Iavor Diatchki iavor.diatchki at gmail.com
Tue Dec 19 18:20:28 EST 2006


On 12/19/06, Jacques Carette <carette at mcmaster.ca> wrote:
> First, I believe that this paper
> http://homepages.inf.ed.ac.uk/ratkey/param-notions.pdf
> is intimately related to WitnessMonad.

This paper definitely seems to be related.  Thanks for the link!

More information about the Haskell-Cafe mailing list