Folgen
Tim Sheard
Tim Sheard
IOHK and Professor Emeritus Portland State University
Bestätigte E-Mail-Adresse bei pdx.edu
Titel
Zitiert von
Zitiert von
Jahr
Template meta-programming for Haskell
T Sheard, SP Jones
Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, 1-16, 2002
8052002
Multi-stage programming with explicit annotations
W Taha, T Sheard
Proceedings of the 1997 ACM SIGPLAN symposium on Partial evaluation and …, 1997
4231997
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
4052003
MetaML and multi-stage programming with explicit annotations
W Taha, T Sheard
Theoretical computer science 248 (1-2), 211-242, 2000
4002000
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
2581996
Accomplishments and research challenges in meta-programming
T Sheard
SAIG 2196, 2-44, 2001
2142001
A fold for all seasons
T Sheard, L Fegaras
Proceedings of the conference on Functional programming languages and …, 1993
2051993
Automatic verification of database transaction safety
T Sheard, D Stemple
ACM Transactions on Database Systems (TODS) 14 (3), 322-368, 1989
1861989
Warm fusion: Deriving build-catas from recursive definitions
J Launchbury, T Sheard
Proceedings of the seventh international conference on Functional …, 1995
1651995
Languages of the future
T Sheard
ACM SIGPLAN Notices 39 (12), 119-132, 2004
1282004
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
1191996
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
952014
An idealized MetaML: Simpler, and more expressive
E Moggi, W Taha, ZEA Benaissa, T Sheard
Programming Languages and Systems: 8th European Symposium on Programming …, 2002
952002
Tagless staged interpreters for typed languages
E PašaliΕ, W Taha, T Sheard
Proceedings of the seventh ACM SIGPLAN international conference on …, 2002
942002
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
861998
Multi-stage programming: Axiomatization and type safety
W Taha, ZEA Benaissa, T Sheard
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 …, 1998
851998
Meta-programming with built-in type equality
T Sheard, E Pasalic
Electronic Notes in Theoretical Computer Science 199, 49-65, 2008
812008
DSL implementation using staging and monads
T Sheard, ZEA Benaissa, E Pasalic
ACM SIGPLAN Notices 35 (1), 81-94, 1999
741999
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
712000
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
681994
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20