Type inference with constrained types
Theory and Practice of Object Systems - Special issue on foundations of object-oriented languages
Discriminative sum types locate the source of type errors
ICFP '03 Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
Visual haskell: a full-featured haskell development environment
Proceedings of the 2005 ACM SIGPLAN workshop on Haskell
Hi-index | 0.00 |