Cited By
View all- Devriese DPiessens F(2013)Typed syntactic meta-programmingACM SIGPLAN Notices10.1145/2544174.250057548:9(73-86)Online publication date: 25-Sep-2013
- Cave APientka BMomigliano APientka BPollack R(2013)First-class substitutions in contextual type theoryProceedings of the Eighth ACM SIGPLAN international workshop on Logical frameworks & meta-languages: theory & practice10.1145/2503887.2503889(15-24)Online publication date: 23-Sep-2013
- Devriese DPiessens FMorrisett GUustalu T(2013)Typed syntactic meta-programmingProceedings of the 18th ACM SIGPLAN international conference on Functional programming10.1145/2500365.2500575(73-86)Online publication date: 25-Sep-2013
- Show More Cited By