Conference
Towards typing for small-step direct reflection
Abstract
Direct reflection is a form of meta-programming in which program terms can intensionally analyze other program terms. Previous work defined a big-step semantics for a directly reflective language called Archon, with a conservative approach to variable scoping based on operations for opening a lambda-abstraction and swapping the order of nested lambda-abstractions. In this short paper, we give a small-step semantics for a revised version of …
Authors
Carette J; Stump A
Pagination
pp. 93-96
Publisher
Association for Computing Machinery (ACM)
Publication Date
January 23, 2012
DOI
10.1145/2103746.2103765
Name of conference
Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation