| Gradual typing for objects J Siek, W Taha European Conference on Object-Oriented Programming, 2-27, 2007 | 853 | 2007 |
| Multi-stage programming with explicit annotations W Taha, T Sheard Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997 | 460 | 1997 |
| MetaML and multi-stage programming with explicit annotations W Taha, T Sheard Theoretical computer science 248 (1-2), 211-242, 2000 | 445 | 2000 |
| Multistage programming: its theory and applications WM Taha Oregon Graduate Institute of Science and Technology, 1999 | 271 | 1999 |
| A gentle introduction to multi-stage programming W Taha Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004 | 261 | 2004 |
| Implementing multi-stage languages using ASTs, gensym, and reflection C Calcagno, W Taha, L Huang, X Leroy International Conference on Generative Programming and Component Engineering …, 2003 | 204 | 2003 |
| Environment classifiers W Taha, MF Nielsen Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of …, 2003 | 168 | 2003 |
| Real-time FRP Z Wan, W Taha, P Hudak Proceedings of the sixth ACM SIGPLAN international conference on Functional …, 2001 | 167 | 2001 |
| DSL implementation in MetaOCaml, Template Haskell, and C++ K Czarnecki, JT O’Donnell, J Striegnitz, W Taha Domain-Specific Program Generation: International Seminar, Dagstuhl Castle …, 2004 | 156 | 2004 |
| Event-driven FRP Z Wan, W Taha, P Hudak International Symposium on Practical Aspects of Declarative Languages, 155-172, 2001 | 141 | 2001 |
| Macros as multi-stage computations: Type-safe, generative, binding macros in MacroML SE Ganz, A Sabry, W Taha ACM SIGPLAN Notices 36 (10), 74-85, 2001 | 127 | 2001 |
| An idealized MetaML: Simpler, and more expressive E Moggi, W Taha, ZEA Benaissa, T Sheard European Symposium on Programming, 193-207, 1999 | 110* | 1999 |
| A sound reduction semantics for untyped CBN multi-stage computation. Or, the theory of MetaML is non-trival W Taha ACM SIGPLAN Notices 34 (11), 34-43, 1999 | 100 | 1999 |
| Tagless staged interpreters for typed languages E PašaliΕ, W Taha, T Sheard Proceedings of the seventh ACM SIGPLAN international conference on …, 2002 | 95 | 2002 |
| Exploring the design space of higher-order casts J Siek, R Garcia, W Taha European Symposium on Programming, 17-31, 2009 | 90 | 2009 |
| Multi-stage programming: Axiomatization and type safety W Taha, ZEA Benaissa, T Sheard International Colloquium on Automata, Languages, and Programming, 918-929, 1998 | 86 | 1998 |
| A methodology for generating verified combinatorial circuits O Kiselyov, KN Swadi, W Taha Proceedings of the 4th ACM international conference on Embedded software …, 2004 | 79 | 2004 |
| Mint: Java multi-stage programming using weak separability E Westbrook, M Ricken, J Inoue, Y Yao, T Abdelatif, W Taha ACM Sigplan Notices 45 (6), 400-411, 2010 | 71 | 2010 |
| E-FRP with priorities R Kaiabachev, W Taha, A Zhu Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007 | 69 | 2007 |
| Concoqtion: indexed types now! S Fogarty, E Pasalic, J Siek, W Taha Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and …, 2007 | 62 | 2007 |
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at iu.edu
