default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTim Sheard
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2017
[c60]Wu-chang Feng, Robert Liebman, Lois M. L. Delcambre, Michael Lupro, Tim Sheard, Scott Britell, Gerald Recktenwald:
CyberPDX: A Camp for Broadening Participation in Cybersecurity. ASE @ USENIX Security Symposium 2017- 2016
- [c59]Larry Diehl, Tim Sheard:
Generic lookup and update for infinitary inductive-recursive types. TyDe@ICFP 2016: 1-12 - 2014
- [c58]Haicheng Wu, Gregory F. Diamos, Tim Sheard, Molham Aref, Sean Baxter, Michael Garland, Sudhakar Yalamanchili:
Red Fox: An Execution Environment for Relational Query Processing on GPUs. CGO 2014: 44 - [c57]Larry Diehl, Tim Sheard:
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL. WGP@ICFP 2014: 3-14 - 2013
- [c56]Larry Diehl, Tim Sheard:
Leveling up dependent types: generic programming over a predicative hierarchy of universes. DTP@ICFP 2013: 49-60 - [c55]Ki Yung Ahn
, Tim Sheard, Marcelo P. Fiore, Andrew M. Pitts:
System F i . TLCA 2013: 15-30 - [e2]Matthew Might, David Van Horn, Andreas Abel, Tim Sheard:
Proceedings of the 7th Workshop on Programming languages meets program verification, PLPV 2013, Rome, Italy, January 22, 2013. ACM 2013, ISBN 978-1-4503-1860-0 [contents] - 2012
- [c54]Timothy E. Sheard:
Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages. ICFP 2012: 89-102 - [c53]Garrin Kimmell, Aaron Stump, Harley D. Eades III, Peng Fu, Tim Sheard, Stephanie Weirich, Chris Casinghino, Vilhelm Sjöberg, Nathan Collins, Ki Yung Ahn:
Equational reasoning about programs with general recursion and call-by-value semantics. PLPV 2012: 15-26 - [c52]Vilhelm Sjöberg, Chris Casinghino, Ki Yung Ahn, Nathan Collins, Harley D. Eades III, Peng Fu, Garrin Kimmell, Tim Sheard, Aaron Stump, Stephanie Weirich:
Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems. MSFP 2012: 112-162 - 2011
- [c51]Ki Yung Ahn, Tim Sheard:
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. ICFP 2011: 234-246 - [c50]Stephanie Weirich, Brent A. Yorgey, Tim Sheard:
Binders unbound. ICFP 2011: 333-345 - 2010
- [c49]Tim Sheard, Aaron Stump, Stephanie Weirich:
Language-based verification will change the world. FoSER 2010: 343-348 - [c48]Chuan-Kai Lin, Tim Sheard:
Pointwise generalized algebraic data types. TLDI 2010: 51-62
2000 – 2009
- 2008
- [c47]Nathan Mishra-Linger, Tim Sheard:
Erasure and Polymorphism in Pure Type Systems. FoSSaCS 2008: 350-364 - [c46]Ki Yung Ahn, Tim Sheard:
Shared subtypes: subtyping recursive parametrized algebraic data types. Haskell 2008: 75-86 - 2007
- [j12]Peter 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) - [c45]Tim Sheard, Nathan Linger:
Programming in Omega. CEFP 2007: 158-227 - 2006
- [c44]Tim Sheard:
Generic Programming in Ωmega. SSDGP 2006: 258-284 - [c43]Tim Sheard:
Type-level Computation Using Narrowing in Omegamega. PLPV@IJCAR 2006: 105-128 - 2005
- [c42]Tim Sheard:
Putting curry-howard to work. Haskell 2005: 74-85 - 2004
- [j11]Tim Sheard, Emir Pasalic:
Two-level types and parameterized modules. J. Funct. Program. 14(5): 547-587 (2004) - [j10]Tim Sheard:
Languages of the future. ACM SIGPLAN Notices 39(12): 119-132 (2004) - [c41]Tim Sheard:
Languages of the future. OOPSLA Companion 2004: 116-119 - [c40]Nathan Linger, Tim Sheard:
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. TACAS 2004: 266-279 - [c39]Tim Sheard, Emir Pasalic:
Meta-programming With Built-in Type Equality. LFM@IJCAR 2004: 49-65 - 2003
- [j9]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) - [j8]Cristiano Calcagno, Eugenio Moggi, Tim Sheard:
Closed types for a safe imperative MetaML. J. Funct. Program. 13(3): 545-571 (2003) - [j7]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) - 2002
- [j6]Tim Sheard, Simon L. Peyton Jones:
Template meta-programming for Haskell. ACM SIGPLAN Notices 37(12): 60-75 (2002) - [c38]Tim Sheard, Simon Peyton Jones:
Template meta-programming for Haskell. Haskell 2002: 1-16 - [c37]Emir Pasalic, Walid Taha, Tim Sheard:
Tagless staged interpreters for typed languages. ICFP 2002: 218-229 - [c36]William L. Harrison, Tim Sheard, James Hook:
Fine Control of Demand in Haskell. MPC 2002: 68-93 - [c35]Tim Sheard, Nathan Linger:
Search-based binding time analysis using type-directed pruning. ASIA-PEPM 2002: 20-31 - 2001
- [c34]Tim Sheard:
Generic Unification via Two-Level Types and Parameterized Modules. ICFP 2001: 86-97 - [c33]Tim Sheard:
Accomplishments and Research Challenges in Meta-programming. SAIG 2001: 2-44 - [c32]William L. Harrison, Tim Sheard:
Dynamically Adaptable Software with Metacomputations in a Staged Language. SAIG 2001: 163-182 - 2000
- [j5]Walid Taha, Tim Sheard:
MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci. 248(1-2): 211-242 (2000)
1990 – 1999
- 1999
- [c31]Tim Sheard, Zine-El-Abidine Benaissa, Emir Pasalic:
DSL implementation using staging and monads. DSL 1999: 81-94 - [c30]Eugenio Moggi, Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard:
An Idealized MetaML: Simpler, and More Expressive. ESOP 1999: 193-207 - 1998
- [c29]Tim Sheard:
Using MetaML: A Staged Programming Language. Advanced Functional Programming 1998: 207-239 - [c28]Walid Taha, Zine-El-Abidine Benaissa, Tim Sheard:
Multi-Stage Programming: Axiomatization and Type Safety. ICALP 1998: 918-929 - [c27]Mark Shields, Tim Sheard, Simon L. Peyton Jones:
Dynamic Typing as Staged Type Inference. POPL 1998: 289-302 - 1997
- [c26]Walid Taha, Tim Sheard:
Multi-Stage Programming. ICFP 1997: 321 - [c25]Tim Sheard:
A Type-directed, On-line, Partial Evaluator for a Polymorphic Language. PEPM 1997: 22-35 - [c24]Walid Taha, Tim Sheard:
Multi-Stage Programming with Explicit Annotations. PEPM 1997: 203-217 - 1996
- [c23]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 - [c22]Leonidas Fegaras, Tim Sheard:
Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space). POPL 1996: 284-294 - [e1]John Launchbury, Erik Meijer, Tim Sheard:
Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text. Lecture Notes in Computer Science 1129, Springer 1996, ISBN 3-540-61628-4 [contents] - 1995
- [c21]John Launchbury, Tim Sheard:
Warm Fusion: Deriving Build-Cata's from Recursive Definitions. FPCA 1995: 314-323 - [c20]Richard 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
- [c19]Leonidas Fegaras, Tim Sheard, Tong Zhou:
Improving Programs Which Recurse over Multiple Inductive Structures. PEPM 1994: 21-32 - [c18]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 - 1993
- [c17]Tim Sheard:
Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection. AMAST 1993: 145-152 - [c16]Leonidas Fegaras, David Maier, Tim Sheard:
Specifying Rule-Based Query Optimizers in a Reflective Framework. DOOD 1993: 146-168 - [c15]Tim Sheard, Leonidas Fegaras:
A Fold for All Seasons. FPCA 1993: 233-242 - 1992
- [j4]Tim Sheard, David W. Stemple:
Inheritance of Theory in the Adabtpl Language. Comput. Lang. 17(3): 157-167 (1992) - [c14]Leonidas Fegaras, Tim Sheard, David W. Stemple:
Uniform Traversal Combinators: Definition, Use and Properties. CADE 1992: 148-162 - 1991
- [j3]Tim Sheard:
Automatic Generation and Use of Abstract Structure Operators. ACM Trans. Program. Lang. Syst. 13(4): 531-557 (1991) - 1990
- [c13]David W. Stemple, Leonidas Fegaras, Tim Sheard, Adolfo Socorro:
Exceeding the Limits of Polymorphism in Database Programming Languages. EDBT 1990: 269-285 - [c12]David W. Stemple, Tim Sheard:
A Recursive Base for Database Programming Primitives. East/West Database Workshop 1990: 311-332
1980 – 1989
- 1989
- [j2]Tim Sheard, David W. Stemple:
Automatic Verification of Database Transaction Safety. ACM Trans. Database Syst. 14(3): 322-368 (1989) - [c11]Leonidas Fegaras, Tim Sheard, David W. Stemple:
The ADABTPL Type System. DBPL 1989: 207-218 - 1988
- [c10]Tim Sheard, David W. Stemple:
The precise control of inheritance and the inheritance of theory in the ADABTPL language. ICCL 1988: 194-201 - [c9]David W. Stemple, Adolfo Socorro, Tim Sheard:
Formalizing Objects for Databases using ADABTPL. OODBS 1988: 110-128 - [c8]Subhasish Mazumdar, David W. Stemple, Tim Sheard:
Resolving the Tension between Integrity and Security Using a Theorem Prover. SIGMOD Conference 1988: 233-242 - 1987
- [c7]David W. Stemple, Tim Sheard:
Construction and Calculus of Types for Database Systems. DBPL 1987: 3-22 - [c6]David W. Stemple, Subhasish Mazumdar, Tim Sheard:
On the Modes and Meaning of Feedback to Transaction Designers. SIGMOD Conference 1987: 374-386 - 1986
- [j1]David W. Stemple, Tim Sheard, Ralph E. Bunker:
Incorporating theory into database system development. Inf. Process. Manag. 22(4): 317-330 (1986) - [c5]David W. Stemple, Tim Sheard, Ralph E. Bunker:
Abstract Data Types in Databases: Specification, Manipulation and Access. ICDE 1986: 590-597 - 1985
- [c4]David W. Stemple, Tim Sheard:
Database Theory for Supporting Specification-Based Database Systems Development. ICSE 1985: 43-49 - [c3]Tim Sheard, David W. Stemple:
Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985: 426-435 - 1984
- [c2]David W. Stemple, Tim Sheard:
Specification and Verification of Abstract Database Types. PODS 1984: 248-257 - 1983
- [c1]David W. Stemple, Krithi Ramamritham, Stephen Vinter, Tim Sheard:
Operating System Support for Abstract Data(base) Types. ICOD 1983: 179-195
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:54 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
