Qualified Types : Theory and Practice
Mark P. Jones · OpenGrey (Institut de l'Information Scientifique et Technique) · 1992
1. Introduction 2. Predicates 3. Type inference for qualified types 4. Evidence 5. Semantics and coherence 6. Theory into practice 7. Type classes in Haskell 8. Type classes in Gofer 9. Summary and future work 10. Epilogue Appendix References Index.