Run-time type computations in the Warren Abstract machine

This publication has 11 references indexed in Scilit:

• Correctness proof for the WAM with types
  Published by Springer Nature ,2005
• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• An order-sorted logic for knowledge representation systems
  Artificial Intelligence, 1992
• Logic programming with typed unification and its realization on an abstract machine
  IBM Journal of Research and Development, 1992
• Horn clause programs with polymorphic types: semantics and resolution
  Theoretical Computer Science, 1991
• A polymorphic type system with subtypes for Prolog
  Published by Springer Nature ,1988
• Login: a logic programming language with built-in inheritance
  The Journal of Logic Programming, 1986
• A polymorphic type system for prolog
  Artificial Intelligence, 1984
• An Efficient Unification Algorithm
  ACM Transactions on Programming Languages and Systems, 1982
• Principal type-schemes for functional programs
  Published by Association for Computing Machinery (ACM) ,1982