Tim Sheard Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChuan-kai Lin, Tim Sheard: Pointwise generalized algebraic data types. TLDI 2010: 51-62
2008
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Mishra-Linger, Tim Sheard: Erasure and Polymorphism in Pure Type Systems. FoSSaCS 2008: 350-364
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKi Yung Ahn, Tim Sheard: Shared subtypes: subtyping recursive parametrized algebraic data types. Haskell 2008: 75-86
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, Emir Pasalic: Meta-programming With Built-in Type Equality. Electr. Notes Theor. Comput. Sci. 199: 49-65 (2008)
2007
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, Nathan Linger: Programming in Omega. CEFP 2007: 158-227
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Type-level Computation Using Narrowing in Omegamega. Electr. Notes Theor. Comput. Sci. 174(7): 105-128 (2007)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter A. Tucker, David Maier, Tim Sheard, Paul Stephens: Using Punctuation Schemes to Characterize Strategies for Querying over Data Streams. IEEE Trans. Knowl. Data Eng. 19(9): 1227-1240 (2007)
2005
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Putting curry-howard to work. Haskell 2005: 74-85
2004
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Languages of the future. OOPSLA Companion 2004: 116-119
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNathan Linger, Tim Sheard: Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. TACAS 2004: 266-279
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, Emir Pasalic: Two-level types and parameterized modules. J. Funct. Program. 14(5): 547-587 (2004)
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Languages of the future. SIGPLAN Notices 39(12): 119-132 (2004)
2003
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter A. Tucker, David Maier, Tim Sheard: Applying Punctuation Schemes to Queries Over Continuous Data Streams. IEEE Data Eng. Bull. 26(1): 33-40 (2003)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter 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)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCristiano Calcagno, Eugenio Moggi, Tim Sheard: Closed types for a safe imperative MetaML. J. Funct. Program. 13(3): 545-571 (2003)
2002
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, Nathan Linger: Search-based binding time analysis using type-directed pruning. ASIA-PEPM 2002: 20-31
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEmir Pasalic, Walid Taha, Tim Sheard: Tagless staged interpreters for typed languages. ICFP 2002: 218-229
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Harrison, Tim Sheard, James Hook: Fine Control of Demand in Haskell. MPC 2002: 68-93
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, Simon L. Peyton Jones: Template meta-programming for Haskell. SIGPLAN Notices 37(12): 60-75 (2002)
2001
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Generic Unification via Two-Level Types and Parameterized Modules. ICFP 2001: 86-97
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWilliam L. Harrison, Tim Sheard: Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG 2001: 163-182
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Accomplishments and Research Challenges in Meta-programming. SAIG 2001: 2-44
2000
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalid Taha, Tim Sheard: MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248(1-2): 211-242 (2000)
1999
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic: DSL implementation using staging and monads. DSL 1999: 81-94
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard: An Idealized MetaML: Simpler, and More Expressive. ESOP 1999: 193-207
1998
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Using MetaML: A Staged Programming Language. Advanced Functional Programming 1998: 207-239
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalid Taha, Zine-El-Abidine Benaissa, Tim Sheard: Multi-Stage Programming: Axiomatization and Type Safety. ICALP 1998: 918-929
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Shields, Tim Sheard, Simon L. Peyton Jones: Dynamic Typing as Staged Type Inference. POPL 1998: 289-302
1997
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalid Taha, Tim Sheard: Multi-Stage Programming. ICFP 1997: 321
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWalid Taha, Tim Sheard: Multi-Stage Programming with Explicit Annotations. PEPM 1997: 203-217
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. PEPM 1997: 22-35
1996
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Launchbury, Erik Meijer, Tim Sheard: Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text Springer 1996
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard 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
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonidas Fegaras, Tim Sheard: Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). POPL 1996: 284-294
1995
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJohn Launchbury, Tim Sheard: Warm Fusion: Deriving Build-Cata's from Recursive Definitions. FPCA 1995: 314-323
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRichard B. Kieburtz, Françoise Bellegarde, Jeffrey M. Bell, James Hook, Jeffrey Lewis, Dino Oliva, Tim Sheard, Lisa Walton, Tong Zhou: Calculating Software Generators from Solution Specifications. TAPSOFT 1995: 546-560
1994
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonidas Fegaras, Tim Sheard, Tong Zhou: Improving Programs Which Recurse over Multiple Inductive Structures. PEPM 1994: 21-32
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeffrey 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
1993
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. AMAST 1993: 145-152
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonidas Fegaras, David Maier, Tim Sheard: Specifying Rule-Based Query Optimizers in a Reflective Framework. DOOD 1993: 146-168
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, Leonidas Fegaras: A Fold for All Seasons. FPCA 1993: 233-242
1992
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonidas Fegaras, Tim Sheard, David W. Stemple: Uniform Traversal Combinators: Definition, Use and Properties. CADE 1992: 148-162
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, David W. Stemple: Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17(3): 157-167 (1992)
1991
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard: Automatic Generation and Use of Abstract Structure Operators. ACM Trans. Program. Lang. Syst. 13(4): 531-557 (1991)
1990
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro: Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT 1990: 269-285
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Tim Sheard: A Recursive Base for Database Programming Primitives. East/West Database Workshop 1990: 311-332
1989
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeonidas Fegaras, Tim Sheard, David W. Stemple: The ADABTPL Type System. DBPL 1989: 207-218
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, David W. Stemple: Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368 (1989)
1988
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, David W. Stemple: The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL 1988: 194-201
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Adolfo Socorro, Tim Sheard: Formalizing Objects for Databases using ADABTPL. OODBS 1988: 110-128
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSubhasish Mazumdar, David W. Stemple, Tim Sheard: Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988: 233-242
1987
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Tim Sheard: Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Subhasish Mazumdar, Tim Sheard: On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386
1986
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Tim Sheard, Ralph E. Bunker: Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Tim Sheard, Ralph E. Bunker: Incorporating theory into database system development. Inf. Process. Manage. 22(4): 317-330 (1986)
1985
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Tim Sheard: Database Theory for Supporting Specification-Based Database Systems Development. ICSE 1985: 43-49
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTim Sheard, David W. Stemple: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435
1984
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Tim Sheard: Specification and Verification of Abstract Database Types. PODS 1984: 248-257
1983
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavid W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard: Operating System Support for Abstract Data(base) Types. ICOD 1983: 179-195

Coauthor Index

1Ki Yung Ahn [57]
2Jeffrey M. Bell [22] [24] [27]
3Françoise Bellegarde (Françoise Bellegarde-Webb) [22] [24]
4Zine-El-Abidine Benaissa [33] [35] [36]
5Ralph E. Bunker [5] [6]
6Cristiano Calcagno [45]
7Leonidas Fegaras [13] [15] [18] [19] [20] [23] [26] [46]
8William L. Harrison [39] [42]
9James Hook [22] [24] [27] [42]
10Simon L. Peyton Jones [32] [41]
11Richard B. Kieburtz (Dick Kieburtz) [22] [24] [27]
12Alex Kotov [22] [27]
13John Launchbury [25] [28]
14Jeffrey Lewis [22] [24] [27]
15Chuan-kai Lin [59]
16David Maier [20] [46] [47] [53]
17Subhasish Mazumdar [7] [9]
18Laura McKinney [22] [27]
19Erik Meijer [28]
20Nathan Mishra-Linger (Nathan Linger) [44] [50] [55] [58]
21Eugenio Moggi [35] [45]
22Dino Oliva [22] [24] [27]
23Emir Pasalic [36] [43] [49] [56]
24Krithi Ramamritham [1]
25Mark Shields [32]
26Ira Smith [27]
27Adolfo Socorro [10] [15]
28David W. Stemple [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15] [17] [18]
29Paul Stephens [53]
30Walid Taha [30] [31] [33] [35] [37] [43]
31L. Tong [22]
32Peter A. Tucker [46] [47] [53]
33Stephen Vinter [1]
34Lisa Walton [22] [24] [27]
35Tong Zhou [22] [23] [24]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)