Towards typing for small-step direct reflection Conference Paper

authors

• Carette, Jacques
• Stump, Aaron

status

• published 

publication date

• 2012

published in

• Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation - PEPM '12  Journal

presented at event

• the ACM SIGPLAN 2012 workshop  Conference

Digital Object Identifier (DOI)

• 10.1145/2103746.2103765

International Standard Book Number (ISBN) 13

• 9781450311182

start page

• 93

end page

• 96