A Semantics of Compile-time Re ectionJames Hook and

@inproceedings{Sheard1993ASO,
  title={A Semantics of Compile-time Re ectionJames Hook and},
  author={Tim Sheard},
  year={1993}
}
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. 

References

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

Generating programs by re ection

James Hook, Richard Kieburtz, Tim Sheard.
1992

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…