Polytypic Values Possess Polykinded Types

This publication has 14 references indexed in Scilit:

• A new approach to generic functional programming
  Published by Association for Computing Machinery (ACM) ,2000
• Polytypic Programming With Ease
  Published by Springer Nature ,1999
• Generic Programming
  Published by Springer Nature ,1999
• Functorial ML
  Journal of Functional Programming, 1998
• Nested datatypes
  Published by Springer Nature ,1998
• PolyP---a polytypic programming language extension
  Published by Association for Computing Machinery (ACM) ,1997
• When Do Datatypes Commute?
  Published by Springer Nature ,1997
• Generic functional programming with types and relations
  Journal of Functional Programming, 1996
• Merging monads and folds for functional programming
  Published by Springer Nature ,1995
• Polymorphic type inference
  Published by Association for Computing Machinery (ACM) ,1983