A decision procedure for common Lisp'sSUBTYPEP predicate

This publication has 11 references indexed in Scilit:

• An APL Compiler
  Published by Springer Nature ,1988
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• Boolean classes
  ACM SIGPLAN Notices, 1986
• Computing in Algebraic Extensions
  Published by Springer Nature ,1983
• A Scheme for the Automatic Inference of Variable Types
  Journal of the ACM, 1980
• An efficient decision procedure for the theory of rational order
  Theoretical Computer Science, 1977
• Data Types as Lattices
  SIAM Journal on Computing, 1976
• A Decision Procedure for the First Order Theory of Real Addition with Order
  SIAM Journal on Computing, 1975
• Does APL really need run-time checking?
  Software: Practice and Experience, 1974
• Programming by semantic refinement
  ACM SIGPLAN Notices, 1973