LEAP: A language with eval and polymorphism

This publication has 13 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Partial polymorphic type inference and higher-order unification
  Published by Association for Computing Machinery (ACM) ,1988
• The mystery of the tower revealed
  Published by Association for Computing Machinery (ACM) ,1986
• Higher-order logic programming
  Published by Springer Nature ,1986
• Automatic synthesis of typed Λ-programs on term algebras
  Theoretical Computer Science, 1985
• Three approaches to type structure
  Published by Springer Nature ,1985
• Reification
  Published by Association for Computing Machinery (ACM) ,1984
• History of LISP
  ACM SIGPLAN Notices, 1978
• Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types
  Published by Elsevier ,1971
• LISP 1.5 PROGRAMMER'S MANUAL
  Published by Defense Technical Information Center (DTIC) ,1962