Generic Programming

This publication has 24 references indexed in Scilit:

• Generic Programming
  Published by Springer Nature ,1999
• PolyP---a polytypic programming language extension
  Published by Association for Computing Machinery (ACM) ,1997
• When Do Datatypes Commute?
  Published by Springer Nature ,1997
• Reductivity
  Science of Computer Programming, 1996
• Datatype laws without signatures
  Mathematical Structures in Computer Science, 1996
• Generic functional programming with types and relations
  Journal of Functional Programming, 1996
• Induction and recursion on datatypes
  Published by Springer Nature ,1995
• Calculating path algorithms
  Science of Computer Programming, 1994
• Regular Algebra Applied to Path-finding Problems
  IMA Journal of Applied Mathematics, 1975
• Algorithm 97: Shortest path
  Communications of the ACM, 1962