Indexed types

This publication has 17 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Quantifier Elimination for Real Closed Fields by Cylindrical Algebraic Decomposition
  Published by Springer Nature ,1998
• An algorithm for type-checking dependent types
  Science of Computer Programming, 1996
• Polymorphic type inference and abstract data types
  ACM Transactions on Programming Languages and Systems, 1994
• Type reconstruction in the presence of polymorphic recursion
  ACM Transactions on Programming Languages and Systems, 1993
• Deforestation: transforming programs to eliminate trees
  Theoretical Computer Science, 1990
• Abstract types have existential type
  ACM Transactions on Programming Languages and Systems, 1988
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985
• Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory
  Published by Springer Nature ,1985
• A polymorphic type system for prolog
  Artificial Intelligence, 1984