A Semantics of Compile-time Re ectionJames Hook and

  title={A Semantics of Compile-time Re ectionJames Hook and},
  author={Tim Sheard},
A new language incorporating both ML-style type checking and a limited form of reeec-tion is deened by giving an interpreter and showing how this interpreter may be interpreted as a compositional denotational semantics. The resulting language has a partial function as a compiler, but if the compiler terminates without a type error there will be no type-errors at runtime. Typing issues and rst-class environments are discussed as well. 


Publications referenced by this paper.
Showing 1-10 of 11 references

Generating programs by re ection

James Hook, Richard Kieburtz, Tim Sheard.

Intensions and extensions in a re ective tower

Olivier Danvy, Karoline Malmkj r.
Proceedings of the 1988 ACM Conference on Lisp and Functional Programming • 1988

A theory of type polymorphism in programming

Robin Milner
Journal of Computer andSystem Sciences • 1978

Its natural semantics and equational logic

Robert Muller. M-LISP
Proceedings ofthe Symposium on Partial Evaluation and SemanticsBased Program Manipulation

Similar Papers

Loading similar papers…