Functional programming with overloading and higher-order polymorphism

This publication has 15 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Computational lambda-calculus and monads
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Report on the programming language Haskell
  ACM SIGPLAN Notices, 1992
• A functional theory of exceptions
  Science of Computer Programming, 1990
• Comprehending monads
  Published by Association for Computing Machinery (ACM) ,1990
• Duality and De Morgan Principles for Lists
  Published by Springer Nature ,1990
• How to make ad-hoc polymorphism less ad hoc
  Published by Association for Computing Machinery (ACM) ,1989
• Random number generators: good ones are hard to find
  Communications of the ACM, 1988
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982
• HOPE
  Published by Association for Computing Machinery (ACM) ,1980