Parametrized Quotation and Self-Referenc
โ
C.M.W. Little
๐
Article
๐
2003
๐
Elsevier Science
๐
English
โ 206 KB
This paper is concerned with the theoretical issues surrounding the specification of self-applicative computer programs. In particular we seek to explain the competing requirements desireable of any formal system that admits both of self-reference and quotation, and present three new solutions to th