Cited By
View all- Stump A(2009)Directly reflective meta-programmingHigher-Order and Symbolic Computation10.1007/s10990-007-9022-022:2(115-144)Online publication date: 1-Jun-2009
- Hickey JNogin AYu XKopylov A(2006)Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflectionACM SIGPLAN Notices10.1145/1160074.115982641:9(172-183)Online publication date: 16-Sep-2006
- Hickey JNogin AYu XKopylov AReppy JLawall J(2006)Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflectionProceedings of the eleventh ACM SIGPLAN international conference on Functional programming10.1145/1159803.1159826(172-183)Online publication date: 17-Sep-2006
- Show More Cited By