Cited By
View all- Winant TCockx JDevriese DVanhoof WPientka B(2017)Expressive and strongly type-safe code generationProceedings of the 19th International Symposium on Principles and Practice of Declarative Programming10.1145/3131851.3131872(199-210)Online publication date: 9-Oct-2017
- Sjöberg VWeirich S(2015)Programming up to CongruenceACM SIGPLAN Notices10.1145/2775051.267697450:1(369-382)Online publication date: 14-Jan-2015
- Sjöberg VWeirich SRajamani SWalker D(2015)Programming up to CongruenceProceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages10.1145/2676726.2676974(369-382)Online publication date: 14-Jan-2015
- Show More Cited By