| Template meta-programming for Haskell T Sheard, SP Jones Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 1-16, 2002 | 877 | 2002 |
| Multi-stage programming with explicit annotations W Taha, T Sheard Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997 | 447 | 1997 |
| MetaML and multi-stage programming with explicit annotations W Taha, T Sheard Theoretical computer science 248 (1-2), 211-242, 2000 | 429 | 2000 |
| Exploiting punctuation semantics in continuous data streams PA Tucker, D Maier, T Sheard, L Fegaras IEEE Transactions on Knowledge and Data Engineering 15 (3), 555-568, 2003 | 422 | 2003 |
| A software engineering experiment in software component generation RB Kieburtz, L McKinney, JM Bell, J Hook, A Kotov, J Lewis, DP Oliva, ... Proceedings of IEEE 18th International Conference on Software Engineering …, 1996 | 274 | 1996 |
| Accomplishments and research challenges in meta-programming T Sheard International Workshop on Semantics, Applications, and Implementation of …, 2001 | 228 | 2001 |
| A fold for all seasons T Sheard, L Fegaras Proceedings of the conference on Functional programming languages and …, 1993 | 213 | 1993 |
| Automatic verification of database transaction safety T Sheard, D Stemple ACM Transactions on Database Systems (TODS) 14 (3), 322-368, 1989 | 192 | 1989 |
| Warm fusion: Deriving build-catas from recursive definitions J Launchbury, T Sheard Proceedings of the seventh international conference on Functional …, 1995 | 170 | 1995 |
| Languages of the future T Sheard ACM SIGPLAN Notices 39 (12), 119-132, 2004 | 126 | 2004 |
| Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space) L Fegaras, T Sheard Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of …, 1996 | 120 | 1996 |
| Red fox: An execution environment for relational query processing on gpus H Wu, G Diamos, T Sheard, M Aref, S Baxter, M Garland, S Yalamanchili Proceedings of Annual IEEE/ACM International Symposium on Code Generation …, 2014 | 108 | 2014 |
| An idealized MetaML: Simpler, and more expressive E Moggi, W Taha, ZEA Benaissa, T Sheard European Symposium on Programming, 193-207, 1999 | 96 | 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 |
| Dynamic typing as staged type inference M Shields, T Sheard, S Peyton Jones Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998 | 88 | 1998 |
| Meta-programming with built-in type equality T Sheard, E Pasalic Electronic Notes in Theoretical Computer Science 199, 49-65, 2008 | 85 | 2008 |
| DSL implementation using staging and monads T Sheard, ZEA Benaissa, E Pasalic ACM SIGPLAN Notices 35 (1), 81-94, 1999 | 79 | 1999 |
| Multi-stage programming: Axiomatization and type safety W Taha, ZEA Benaissa, T Sheard International Colloquium on Automata, Languages, and Programming, 918-929, 1998 | 79 | 1998 |
| Erasure and polymorphism in pure type systems N Mishra-Linger, T Sheard Foundations of Software Science and Computational Structures: 11th …, 2008 | 72 | 2008 |
| Software design for reliability and reuse: A proof-of-concept demonstration J Bell, F Bellegarde, J Hook, RB Kieburtz, A Kotov, J Lewis, L McKinney, ... Proceedings of the conference on TRI-Ada'94, 396-404, 1994 | 71 | 1994 |
