Conference proceeding
Towards typing for small-step direct reflection
Proceedings of the ACM SIGPLAN 2012 workshop on partial evaluation and program manipulation, pp.93-96
PEPM '12
01/23/2012
DOI: 10.1145/2103746.2103765
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 Archon, based on operations for opening and closing lambda abstractions. We then discuss challenges for designing a static type system for this language, which is our ultimate goal.
Details
- Title: Subtitle
- Towards typing for small-step direct reflection
- Creators
- Jacques Carette - McMaster UniversityAaron Stump - University of Iowa
- Resource Type
- Conference proceeding
- Publication Details
- Proceedings of the ACM SIGPLAN 2012 workshop on partial evaluation and program manipulation, pp.93-96
- Publisher
- ACM
- Series
- PEPM '12
- DOI
- 10.1145/2103746.2103765
- ISSN
- 0730-8566
- Language
- English
- Date published
- 01/23/2012
- Academic Unit
- Computer Science
- Record Identifier
- 9984259499002771
Metrics
6 Record Views