Polytypic programming

This publication has 24 references indexed in Scilit:

• Recursive types reduced to inductive types
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• A semantics for shape
  Science of Computer Programming, 1995
• Polytypic pattern matching
  Published by Association for Computing Machinery (ACM) ,1995
• Adaptive object-oriented programming using graph-based customization
  Communications of the ACM, 1994
• Data structures and program transformation
  Science of Computer Programming, 1990
• Unification: a multidisciplinary survey
  ACM Computing Surveys, 1989
• Lectures on Constructive Functional Programming
  Published by Springer Nature ,1989
• An Introduction to the Theory of Lists
  Published by Springer Nature ,1987
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• Algebraic specification of data types: A synthetic approach
  Theory of Computing Systems, 1981