Meta-circular interpreter for a strongly typed language

This publication has 4 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• Revised ³ report on the algorithmic language scheme
  ACM SIGPLAN Notices, 1986
• An ideal model for recursive polymorphic types
  Information and Control, 1986
• On understanding types, data abstraction, and polymorphism
  ACM Computing Surveys, 1985