Correctness proof for the WAM with types

This publication has 4 references indexed in Scilit:

• A formal operational semantics for languages of type Prolog III
  Published by Springer Nature ,1991
• From prolog algebras towards WAM-A mathematical study of implementation
  Published by Springer Nature ,1991
• Warren's Abstract Machine
  Published by MIT Press ,1991
• Logic programming with polymorphically order-sorted types
  Lecture Notes in Computer Science, 1988