Type inference and type classes

Publisher Website

1 January 1990

book chapter
Published by Springer Nature

p. 254-264
https://doi.org/10.1007/978-1-4471-3166-3_17

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

A theory of type polymorphism in programming
Published by Elsevier ,2003
How to make ad-hoc polymorphism less ad hoc
Published by Association for Computing Machinery (ACM) ,1989
Principal type-schemes for functional programs
Published by Association for Computing Machinery (ACM) ,1982
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM, 1965