The SCEAS System
Navigation Menu

Search the dblp DataBase


Tim Sheard: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Tim Sheard, David W. Stemple
    Automatic Verification of Database Transaction Safety. [Citation Graph (27, 16)][DBLP]
    ACM Trans. Database Syst., 1989, v:14, n:3, pp:322-368 [Journal]
  2. David W. Stemple, Subhasish Mazumdar, Tim Sheard
    On the Modes and Meaning of Feedback to Transaction Designers. [Citation Graph (14, 8)][DBLP]
    SIGMOD Conference, 1987, pp:374-386 [Conf]
  3. David W. Stemple, Tim Sheard
    Specification and Verification of Abstract Database Types. [Citation Graph (9, 18)][DBLP]
    PODS, 1984, pp:248-257 [Conf]
  4. David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro
    Exceeding the Limits of Polymorphism in Database Programming Languages. [Citation Graph (8, 11)][DBLP]
    EDBT, 1990, pp:269-285 [Conf]
  5. Tim Sheard, David W. Stemple
    Coping with Complexity in Automated Reasoning about Database Systems. [Citation Graph (6, 5)][DBLP]
    VLDB, 1985, pp:426-435 [Conf]
  6. David W. Stemple, Tim Sheard
    A Recursive Base for Database Programming Primitives. [Citation Graph (5, 0)][DBLP]
    East/West Database Workshop, 1990, pp:311-332 [Conf]
  7. David W. Stemple, Adolfo Socorro, Tim Sheard
    Formalizing Objects for Databases using ADABTPL. [Citation Graph (5, 0)][DBLP]
    OODBS, 1988, pp:110-128 [Conf]
  8. Leonidas Fegaras, Tim Sheard, David W. Stemple
    The ADABTPL Type System. [Citation Graph (4, 6)][DBLP]
    DBPL, 1989, pp:207-218 [Conf]
  9. Leonidas Fegaras, David Maier, Tim Sheard
    Specifying Rule-Based Query Optimizers in a Reflective Framework. [Citation Graph (4, 0)][DBLP]
    DOOD, 1993, pp:146-168 [Conf]
  10. David W. Stemple, Tim Sheard, Ralph E. Bunker
    Abstract Data Types in Databases: Specification, Manipulation and Access. [Citation Graph (4, 21)][DBLP]
    ICDE, 1986, pp:590-597 [Conf]
  11. David W. Stemple, Tim Sheard
    Construction and Calculus of Types for Database Systems. [Citation Graph (3, 3)][DBLP]
    DBPL, 1987, pp:3-22 [Conf]
  12. Tim Sheard, Leonidas Fegaras
    A Fold for All Seasons. [Citation Graph (3, 0)][DBLP]
    FPCA, 1993, pp:233-242 [Conf]
  13. Leonidas Fegaras, Tim Sheard, David W. Stemple
    Uniform Traversal Combinators: Definition, Use and Properties. [Citation Graph (2, 0)][DBLP]
    CADE, 1992, pp:148-162 [Conf]
  14. David W. Stemple, Tim Sheard
    Database Theory for Supporting Specification-Based Database Systems Development. [Citation Graph (2, 0)][DBLP]
    ICSE, 1985, pp:43-49 [Conf]
  15. Subhasish Mazumdar, David W. Stemple, Tim Sheard
    Resolving the Tension between Integrity and Security Using a Theorem Prover. [Citation Graph (1, 12)][DBLP]
    SIGMOD Conference, 1988, pp:233-242 [Conf]
  16. Tim Sheard
    Automatic Generation and Use of Abstract Structure Operators. [Citation Graph (1, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1991, v:13, n:4, pp:531-557 [Journal]
  17. Tim Sheard
    Using MetaML: A Staged Programming Language. [Citation Graph (0, 0)][DBLP]
    Advanced Functional Programming, 1998, pp:207-239 [Conf]
  18. Tim Sheard
    Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. [Citation Graph (0, 0)][DBLP]
    AMAST, 1993, pp:145-152 [Conf]
  19. Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic
    DSL implementation using staging and monads. [Citation Graph (0, 0)][DBLP]
    DSL, 1999, pp:81-94 [Conf]
  20. Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
    An Idealized MetaML: Simpler, and More Expressive. [Citation Graph (0, 0)][DBLP]
    ESOP, 1999, pp:193-207 [Conf]
  21. John Launchbury, Tim Sheard
    Warm Fusion: Deriving Build-Cata's from Recursive Definitions. [Citation Graph (0, 0)][DBLP]
    FPCA, 1995, pp:314-323 [Conf]
  22. Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard
    Multi-Stage Programming: Axiomatization and Type Safety. [Citation Graph (0, 0)][DBLP]
    ICALP, 1998, pp:918-929 [Conf]
  23. Tim Sheard, David W. Stemple
    The precise control of inheritance and the inheritance of theory in the ADABTPL language. [Citation Graph (0, 0)][DBLP]
    ICCL, 1988, pp:194-201 [Conf]
  24. Emir Pasalic, Walid Taha, Tim Sheard
    Tagless staged interpreters for typed languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:218-229 [Conf]
  25. Tim Sheard
    Generic Unification via Two-Level Types and Parameterized Modules. [Citation Graph (0, 0)][DBLP]
    ICFP, 2001, pp:86-97 [Conf]
  26. Walid Taha, Tim Sheard
    Multi-Stage Programming. [Citation Graph (0, 0)][DBLP]
    ICFP, 1997, pp:321- [Conf]
  27. David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard
    Operating System Support for Abstract Data(base) Types. [Citation Graph (0, 0)][DBLP]
    ICOD, 1983, pp:179-195 [Conf]
  28. 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. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:542-552 [Conf]
  29. William Harrison, Tim Sheard, James Hook
    Fine Control of Demand in Haskell. [Citation Graph (0, 0)][DBLP]
    MPC, 2002, pp:68-93 [Conf]
  30. Tim Sheard
    Languages of the future. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2004, pp:116-119 [Conf]
  31. Leonidas Fegaras, Tim Sheard, Tong Zhou
    Improving Programs Which Recurse over Multiple Inductive Structures. [Citation Graph (0, 0)][DBLP]
    PEPM, 1994, pp:21-32 [Conf]
  32. Walid Taha, Tim Sheard
    Multi-Stage Programming with Explicit Annotations. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:203-217 [Conf]
  33. Tim Sheard
    A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. [Citation Graph (0, 0)][DBLP]
    PEPM, 1997, pp:22-35 [Conf]
  34. Tim Sheard, Nathan Linger
    Search-based binding time analysis using type-directed pruning. [Citation Graph (0, 0)][DBLP]
    ASIA-PEPM, 2002, pp:20-31 [Conf]
  35. Leonidas Fegaras, Tim Sheard
    Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:284-294 [Conf]
  36. Mark Shields, Tim Sheard, Simon L. Peyton Jones
    Dynamic Typing as Staged Type Inference. [Citation Graph (0, 0)][DBLP]
    POPL, 1998, pp:289-302 [Conf]
  37. Tim Sheard
    Accomplishments and Research Challenges in Meta-programming. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:2-44 [Conf]
  38. William Harrison, Tim Sheard
    Dynamically Adaptable Software with Metacomputations in a Staged Language. [Citation Graph (0, 0)][DBLP]
    SAIG, 2001, pp:163-182 [Conf]
  39. 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. [Citation Graph (0, 0)][DBLP]
    TRI-Ada, 1994, pp:396-404 [Conf]
  40. Nathan Linger, Tim Sheard
    Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. [Citation Graph (0, 0)][DBLP]
    TACAS, 2004, pp:266-279 [Conf]
  41. 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. [Citation Graph (0, 0)][DBLP]
    TAPSOFT, 1995, pp:546-560 [Conf]
  42. Tim Sheard, David W. Stemple
    Inheritance of Theory in the Adabtpl Language. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1992, v:17, n:3, pp:157-167 [Journal]
  43. Peter A. Tucker, David Maier, Tim Sheard
    Applying Punctuation Schemes to Queries Over Continuous Data Streams. [Citation Graph (0, 0)][DBLP]
    IEEE Data Eng. Bull., 2003, v:26, n:1, pp:33-40 [Journal]
  44. David W. Stemple, Tim Sheard, Ralph E. Bunker
    Incorporating theory into database system development. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Manage., 1986, v:22, n:4, pp:317-330 [Journal]
  45. Cristiano Calcagno, Eugenio Moggi, Tim Sheard
    Closed types for a safe imperative MetaML. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2003, v:13, n:3, pp:545-571 [Journal]
  46. Tim Sheard, Emir Pasalic
    Two-level types and parameterized modules. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:5, pp:547-587 [Journal]
  47. Tim Sheard
    Languages of the future. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2004, v:39, n:12, pp:119-132 [Journal]
  48. Tim Sheard, Simon L. Peyton Jones
    Template meta-programming for Haskell. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2002, v:37, n:12, pp:60-75 [Journal]
  49. Walid Taha, Tim Sheard
    MetaML and multi-stage programming with explicit annotations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2000, v:248, n:1-2, pp:211-242 [Journal]
  50. Peter A. Tucker, David Maier, Tim Sheard, Leonidas Fegaras
    Exploiting Punctuation Semantics in Continuous Data Streams. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2003, v:15, n:3, pp:555-568 [Journal]
  51. Tim Sheard
    Putting curry-howard to work. [Citation Graph (0, 0)][DBLP]
    Haskell, 2005, pp:74-85 [Conf]
  52. Tim Sheard
    Type-level Computation Using Narrowing in Omegamega. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:105-128 [Journal]
  53. Peter Tucker, David Maier, Tim Sheard, Paul Stephens
    Using Punctuation Schemes to Characterize Strategies for Querying over Data Streams. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Knowl. Data Eng., 2007, v:19, n:9, pp:1227-1240 [Journal]

  54. Erasure and Polymorphism in Pure Type Systems. [Citation Graph (, )][DBLP]

  55. Pointwise generalized algebraic data types. [Citation Graph (, )][DBLP]

  56. Programming in Omega. [Citation Graph (, )][DBLP]

  57. Shared subtypes: subtyping recursive parametrized algebraic data types. [Citation Graph (, )][DBLP]

  58. Meta-programming With Built-in Type Equality. [Citation Graph (, )][DBLP]

Search in 0.009secs, Finished in 0.013secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002