Qualified Types: Theory and Practice

ISBN: 9780521543262 出版年：1994 页码：171 Mark P Jones Cambridge University Press

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.