Haskell borrows from CT but it is too much engineered to be a model for computational CT. However you can study it with CT: http://www.cs.ut.ee/~varmo/papers/thesis.pdf
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe