| |
 |      |
                                              |
Note: Links lead to the DBLP on the Web. Tim Sheard Nathan Linger , Tim Sheard: Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. TACAS 2004 : 266-279 Peter A. Tucker , David Maier , Tim Sheard: Applying Punctuation Schemes to Queries Over Continuous Data Streams. IEEE Data Eng. Bull. 26 (1): 33-40 (2003) Peter A. Tucker , David Maier , Tim Sheard, Leonidas Fegaras : Exploiting Punctuation Semantics in Continuous Data Streams. IEEE Trans. Knowl. Data Eng. 15 (3): 555-568 (2003) Cristiano Calcagno , Eugenio Moggi , Tim Sheard: Closed types for a safe imperative MetaML. J. Funct. Program. 13 (3): 545-571 (2003) Tim Sheard, Nathan Linger : Search-based binding time analysis using type-directed pruning. ASIA-PEPM 2002 : 20-31 Emir Pasalic , Walid Taha , Tim Sheard: Tagless staged interpreters for typed languages. ICFP 2002 : 218-229 William Harrison , Tim Sheard, James Hook : Fine Control of Demand in Haskell. MPC 2002 : 68-93 Tim Sheard, Simon L. Peyton Jones : Template meta-programming for Haskell. SIGPLAN Notices 37 (12): 60-75 (2002) Tim Sheard: Generic Unification via Two-Level Types and Parameterized Modules. ICFP 2001 : 86-97 Bill Harrison , Tim Sheard: Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG 2001 : 163-182 Tim Sheard: Accomplishments and Research Challenges in Meta-programming. SAIG 2001 : 2-44 Walid Taha , Tim Sheard: MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248 (1-2): 211-242 (2000) Tim Sheard, Zine-El-Abidine Benaissa , Emir Pasalic : DSL implementation using staging and monads. DSL 1999 : 81-94 Eugenio Moggi , Walid Taha , Zine-El-Abidine Benaissa , Tim Sheard: An Idealized MetaML: Simpler, and More Expressive. ESOP 1999 : 193-207 Tim Sheard: Using MetaML: A Staged Programming Language. Advanced Functional Programming 1998 : 207-239 Walid Taha , Zine-El-Abidine Benaissa , Tim Sheard: Multi-Stage Programming: Axiomatization and Type Safety. ICALP 1998 : 918-929 Mark Shields , Tim Sheard, Simon L. Peyton Jones : Dynamic Typing as Staged Type Inference. POPL 1998 : 289-302 Walid Taha , Tim Sheard: Multi-Stage Programming. ICFP 1997 : 321 Walid Taha , Tim Sheard: Multi-Stage Programming with Explicit Annotations. PEPM 1997 : 203-217 Tim Sheard: A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. PEPM 1997 : 22-35 John Launchbury , Erik Meijer , Tim Sheard: Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text Springer 1996 Richard B. Kieburtz , Laura McKinney , Jeffrey M. Bell , James Hook , Alex Kotov , Jeffrey Lewis , Dino Oliva , Tim Sheard, Ira Smith , Lisa Walton : A Software Engineering Experiment in Software Component Generation. ICSE 1996 : 542-552 Leonidas Fegaras , Tim Sheard: Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). POPL 1996 : 284-294 John Launchbury , Tim Sheard: Warm Fusion: Deriving Build-Cata's from Recursive Definitions. FPCA 1995 : 314-323 Richard B. Kieburtz , Françoise Bellegarde , Jef Bell , James Hook , Jeffrey Lewis , Dino Oliva , Tim Sheard, Lisa Walton , Tong Zhou : Calculating Software Generators from Solution Specifications. TAPSOFT 1995 : 546-560 Leonidas Fegaras , Tim Sheard, Tong Zhou : Improving Programs Which Recurse over Multiple Inductive Structures. PEPM 1994 : 21-32 Jeffrey M. Bell , Françoise Bellegarde , James Hook , Richard B. Kieburtz , Alex Kotov , Jeffrey Lewis , Laura McKinney , Dino Oliva , Tim Sheard, L. Tong , Lisa Walton , Tong Zhou : Software design for reliability and reuse: a proof-of-concept demonstration. TRI-Ada 1994 : 396-404 Tim Sheard: Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. AMAST 1993 : 145-152 Leonidas Fegaras , David Maier , Tim Sheard: Specifying Rule-Based Query Optimizers in a Reflective Framework. DOOD 1993 : 146-168 Tim Sheard, Leonidas Fegaras : A Fold for All Seasons. FPCA 1993 : 233-242 Leonidas Fegaras , Tim Sheard, David W. Stemple : Uniform Traversal Combinators: Definition, Use and Properties. CADE 1992 : 148-162 Tim Sheard, David W. Stemple : Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17 (3): 157-167 (1992) Tim Sheard: Automatic Generation and Use of Abstract Structure Operators. ACM Trans. Program. Lang. Syst. 13 (4): 531-557 (1991) David W. Stemple , Leonidas Fegaras , Tim Sheard, Adolfo Socorro : Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT 1990 : 269-285 David W. Stemple , Tim Sheard: A Recursive Base for Database Programming Primitives. East/West Database Workshop 1990 : 311-332 Leonidas Fegaras , Tim Sheard, David W. Stemple : The ADABTPL Type System. DBPL 1989 : 207-218 Tim Sheard, David W. Stemple : Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14 (3): 322-368 (1989) David W. Stemple , Adolfo Socorro , Tim Sheard: Formalizing Objects for Databases using ADABTPL. OODBS 1988 : 110-128 Subhasish Mazumdar , David W. Stemple , Tim Sheard: Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988 : 233-242 David W. Stemple , Tim Sheard: Construction and Calculus of Types for Database Systems. DBPL 1987 : 3-22 David W. Stemple , Subhasish Mazumdar , Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987 : 374-386 David W. Stemple , Tim Sheard, Ralph E. Bunker : Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986 : 590-597 David W. Stemple , Tim Sheard, Ralph E. Bunker : Incorporating theory into database system development. Inf. Process. Manage. 22 (4): 317-330 (1986) David W. Stemple , Tim Sheard: Database Theory for Supporting Specification-Based Database Systems Development. ICSE 1985 : 43-49 Tim Sheard, David W. Stemple : Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985 : 426-435 David W. Stemple , Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984 : 248-257 David W. Stemple , Krithi Ramamritham , Stephen Vinter , Tim Sheard: Operating System Support for Abstract Data(base) Types. ICOD 1983 : 179-195 1 [ 23 ] 2 [ 21 ] [ 26 ] 3 [ 21 ] [ 23 ] 4 [ 32 ] [ 34 ] [ 35 ] 5 [ 5 ] [ 6 ] 6 [ 44 ] 7 [ 12 ] [ 14 ] [ 17 ] [ 18 ] [ 19 ] [ 22 ] [ 25 ] [ 45 ] 8 [ 38 ] 9 [ 41 ] 10 [ 21 ] [ 23 ] [ 26 ] [ 41 ] 11 [ 31 ] [ 40 ] 12 [ 21 ] [ 23 ] [ 26 ] 13 [ 21 ] [ 26 ] 14 [ 24 ] [ 27 ] 15 [ 21 ] [ 23 ] [ 26 ] 16 [ 43 ] [ 47 ] 17 [ 19 ] [ 45 ] [ 46 ] 18 [ 7 ] [ 9 ] 19 [ 21 ] [ 26 ] 20 [ 27 ] 21 [ 34 ] [ 44 ] 22 [ 21 ] [ 23 ] [ 26 ] 23 [ 35 ] [ 42 ] 24 [ 1 ] 25 [ 31 ] 26 [ 26 ] 27 [ 10 ] [ 14 ] 28 [ 1 ] [ 2 ] [ 3 ] [ 4 ] [ 5 ] [ 6 ] [ 7 ] [ 8 ] [ 9 ] [ 10 ] [ 11 ] [ 12 ] [ 13 ] [ 14 ] [ 16 ] [ 17 ] 29 [ 29 ] [ 30 ] [ 32 ] [ 34 ] [ 36 ] [ 42 ] 30 [ 21 ] 31 [ 45 ] [ 46 ] 32 [ 1 ] 33 [ 21 ] [ 23 ] [ 26 ] 34 [ 21 ] [ 22 ] [ 23 ]  ©2004 Association for Computing Machinery |
