Calculate polytypically!

This publication has 21 references indexed in Scilit:

• Recursive types reduced to inductive types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Datatype laws without signatures
  Mathematical Structures in Computer Science, 1996
• The Algebra of Programming
  Published by Springer Nature ,1996
• Generic functional programming with types and relations
  Journal of Functional Programming, 1996
• Functional programming with overloading and higher-order polymorphism
  Published by Springer Nature ,1995
• The design of a pretty-printing library
  Published by Springer Nature ,1995
• A generic program for sequential decision processes
  Published by Springer Nature ,1995
• Calculate categorically!
  Formal Aspects of Computing, 1992
• Homomorphisms and promotability
  Published by Springer Nature ,1989
• An Introduction to the Theory of Lists
  Published by Springer Nature ,1987