[Haskell] Uniqueness types for Haskell?

Neil Mitchell ndmitchell at gmail.com
Sat Sep 10 09:17:28 EDT 2005

> Any ideas, pointers, comments?
Hacle: http://www-users.cs.york.ac.uk/~mfn/hacle/

It transforms from Haskell to Clean, so I would have thought it has a
transformation to convert certainly the IO Monad to uniqueness types.


More information about the Haskell mailing list