Tim Sheard
Tim Sheard
IOHK and Professor Emeritus Portland State University
Verified email at
Cited by
Cited by
Template meta-programming for Haskell
T Sheard, SP Jones
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 1-16, 2002
Multi-stage programming with explicit annotations
W Taha, T Sheard
Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997
MetaML and multi-stage programming with explicit annotations
W Taha, T Sheard
Theoretical computer science 248 (1-2), 211-242, 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
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
Accomplishments and research challenges in meta-programming
T Sheard
International Workshop on Semantics, Applications, and Implementation of …, 2001
A fold for all seasons
T Sheard, L Fegaras
Proceedings of the conference on Functional programming languages and …, 1993
Automatic verification of database transaction safety
T Sheard, D Stemple
ACM Transactions on Database Systems (TODS) 14 (3), 322-368, 1989
Warm fusion: Deriving build-catas from recursive definitions
J Launchbury, T Sheard
Proceedings of the seventh international conference on Functional …, 1995
Languages of the future
T Sheard
ACM SIGPLAN Notices 39 (12), 119-132, 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
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
Tagless staged interpreters for typed languages
E PašaliΕ, W Taha, T Sheard
Proceedings of the seventh ACM SIGPLAN international conference on …, 2002
An idealized MetaML: Simpler, and more expressive
E Moggi, W Taha, ZEA Benaissa, T Sheard
European Symposium on Programming, 193-207, 1999
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
Meta-programming with built-in type equality
T Sheard, E Pasalic
Electronic Notes in Theoretical Computer Science 199, 49-65, 2008
Multi-stage programming: Axiomatization and type safety
W Taha, ZEA Benaissa, T Sheard
International Colloquium on Automata, Languages, and Programming, 918-929, 1998
DSL implementation using staging and monads
T Sheard, ZEA Benaissa, E Pasalic
ACM SIGPLAN Notices 35 (1), 81-94, 1999
Type-safe linguistic reflection: a generator technology
D Stemple, L Fegaras, R Stanton, T Sheard, P Philbrow, R Cooper, ...
Fully Integrated Data Environments: Persistent Programming Languages, Object …, 2000
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
The system can't perform the operation now. Try again later.
Articles 1–20