@inproceedings{StempleFSS90,
  title = {Exceeding the Limits of Polymorphism in Database Programming Languages},
  author = {David W. Stemple and Leonidas Fegaras and Tim  Sheard and Adolfo Socorro},
  year = {1990},
  tags = {programming languages, programming, database},
  researchr = {https://researchr.org/publication/StempleFSS90},
  cites = {0},
  citedby = {0},
  pages = {269-285},
  booktitle = {edbt},
}

@inproceedings{KieburtzMBHKLOSSW96,
  title = {A Software Engineering Experiment in Software Component Generation},
  author = {Richard B. Kieburtz and Laura McKinney and Jeffrey M. Bell and James Hook and Alex Kotov and Jeffrey Lewis and Dino Oliva and Tim  Sheard and Ira Smith and Lisa Walton},
  year = {1996},
  url = {http://portal.acm.org/citation.cfm?id=227726.227842},
  tags = {control systems, programming languages, object-oriented programming, reusable components, translation, software components, language engineering, software language engineering, software component, testing, reuse, software engineering, C++, subject-oriented programming, feature-oriented programming, domain-specific language},
  researchr = {https://researchr.org/publication/KieburtzMBHKLOSSW96},
  cites = {0},
  citedby = {1},
  pages = {542-552},
  booktitle = {ICSE},
}

@inproceedings{SheardBP99,
  title = {DSL implementation using staging and monads},
  author = {Tim  Sheard and Zine-El-Abidine Benaissa and Emir Pasalic},
  year = {1999},
  doi = {10.1145/331960.331975},
  url = {http://doi.acm.org/10.1145/331960.331975},
  tags = {DSL},
  researchr = {https://researchr.org/publication/SheardBP99},
  cites = {0},
  citedby = {1},
  pages = {81-94},
  booktitle = {DSL},
}

@inproceedings{SheardS88,
  title = {The precise control of inheritance and the inheritance of theory in the ADABTPL language},
  author = {Tim  Sheard and David W. Stemple},
  year = {1988},
  doi = {10.1109/ICCL.1988.13064},
  url = {http://dx.doi.org/10.1109/ICCL.1988.13064},
  researchr = {https://researchr.org/publication/SheardS88},
  cites = {0},
  citedby = {0},
  pages = {194-201},
  booktitle = {iccl},
}

@inproceedings{FegarasSS92,
  title = {Uniform Traversal Combinators: Definition, Use and Properties},
  author = {Leonidas Fegaras and Tim  Sheard and David W. Stemple},
  year = {1992},
  tags = {traversal},
  researchr = {https://researchr.org/publication/FegarasSS92},
  cites = {0},
  citedby = {0},
  pages = {148-162},
  booktitle = {cade},
}

@article{SheardP08,
  title = {Meta-programming With Built-in Type Equality},
  author = {Tim  Sheard and Emir Pasalic},
  year = {2008},
  doi = {10.1016/j.entcs.2007.11.012},
  url = {http://dx.doi.org/10.1016/j.entcs.2007.11.012},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/SheardP08},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {199},
  pages = {49-65},
}

@inproceedings{StempleS84,
  title = {Specification and Verification of Abstract Database Types},
  author = {David W. Stemple and Tim  Sheard},
  year = {1984},
  doi = {10.1145/588011.588047},
  url = {http://doi.acm.org/10.1145/588011.588047},
  tags = {database},
  researchr = {https://researchr.org/publication/StempleS84},
  cites = {0},
  citedby = {0},
  pages = {248-257},
  booktitle = {PODS},
}

@inproceedings{KieburtzBBHLOSWZ95,
  title = {Calculating Software Generators from Solution Specifications},
  author = {Richard B. Kieburtz and Françoise Bellegarde and Jeffrey M. Bell and James Hook and Jeffrey Lewis and Dino Oliva and Tim  Sheard and Lisa Walton and Tong Zhou},
  year = {1995},
  researchr = {https://researchr.org/publication/KieburtzBBHLOSWZ95},
  cites = {0},
  citedby = {0},
  pages = {546-560},
  booktitle = {tapsoft},
}

@article{SheardJ02,
  title = {Template meta-programming for Haskell},
  author = {Tim  Sheard and Simon L. Peyton Jones},
  year = {2002},
  doi = {10.1145/636517.636528},
  url = {http://doi.acm.org/10.1145/636517.636528},
  tags = {programming languages, optimization, meta programming, data-flow language, meta-model, functional programming, polytypic programming, template meta-programming, language design, Haskell, macros, data-flow programming, data-flow, code generation, compiler, programming, program optimization, Meta-Environment, polytypic, design, meta-objects},
  researchr = {https://researchr.org/publication/SheardJ02},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {37},
  number = {12},
  pages = {60-75},
}

@inproceedings{StempleRVS83,
  title = {Operating System Support for Abstract Data(base) Types},
  author = {David W. Stemple and Krithi Ramamritham and Stephen Vinter and Tim  Sheard},
  year = {1983},
  tags = {rule-based, operating system, type system, data-flow},
  researchr = {https://researchr.org/publication/StempleRVS83},
  cites = {0},
  citedby = {0},
  pages = {179-195},
  booktitle = {icod},
}

@inproceedings{HarrisonSH02,
  title = {Fine Control of Demand in Haskell},
  author = {William L. Harrison and Tim  Sheard and James Hook},
  year = {2002},
  url = {http://link.springer.de/link/service/series/0558/bibs/2386/23860068.htm},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/HarrisonSH02},
  cites = {0},
  citedby = {0},
  pages = {68-93},
  booktitle = {mpc},
}

@article{Sheard07,
  title = {Type-level Computation Using Narrowing in Omegamega},
  author = {Tim  Sheard},
  year = {2007},
  doi = {10.1016/j.entcs.2006.10.040},
  url = {http://dx.doi.org/10.1016/j.entcs.2006.10.040},
  researchr = {https://researchr.org/publication/Sheard07},
  cites = {0},
  citedby = {0},
  journal = {ENTCS},
  volume = {174},
  number = {7},
  pages = {105-128},
}

@inproceedings{TahaBS98,
  title = {Multi-Stage Programming: Axiomatization and Type Safety},
  author = {Walid Taha and Zine-El-Abidine Benaissa and Tim  Sheard},
  year = {1998},
  url = {http://link.springer.de/link/service/series/0558/bibs/1443/14430918.htm},
  tags = {programming},
  researchr = {https://researchr.org/publication/TahaBS98},
  cites = {0},
  citedby = {0},
  pages = {918-929},
  booktitle = {icalp},
}

@article{StempleSB86:0,
  title = {Incorporating theory into database system development},
  author = {David W. Stemple and Tim  Sheard and Ralph E. Bunker},
  year = {1986},
  doi = {10.1016/0306-4573(86)90030-0},
  url = {http://dx.doi.org/10.1016/0306-4573(86)90030-0},
  tags = {e-science, database},
  researchr = {https://researchr.org/publication/StempleSB86%3A0},
  cites = {0},
  citedby = {0},
  journal = {ipm},
  volume = {22},
  number = {4},
  pages = {317-330},
}

@inproceedings{BellBHKKLMOSTWZ94,
  title = {Software design for reliability and reuse: a proof-of-concept demonstration},
  author = {Jeffrey M. Bell and Françoise Bellegarde and James Hook and Richard B. Kieburtz and Alex Kotov and Jeffrey Lewis and Laura McKinney and Dino Oliva and Tim  Sheard and L. Tong and Lisa Walton and Tong Zhou},
  year = {1994},
  doi = {10.1145/197694.197740},
  url = {http://doi.acm.org/10.1145/197694.197740},
  tags = {reuse, reliability, design},
  researchr = {https://researchr.org/publication/BellBHKKLMOSTWZ94},
  cites = {0},
  citedby = {0},
  pages = {396-404},
  booktitle = {sigada},
}

@article{Sheard04:0,
  title = {Languages of the future},
  author = {Tim  Sheard},
  year = {2004},
  doi = {10.1145/1052883.1052897},
  url = {http://doi.acm.org/10.1145/1052883.1052897},
  researchr = {https://researchr.org/publication/Sheard04%3A0},
  cites = {0},
  citedby = {0},
  journal = {SIGPLAN},
  volume = {39},
  number = {12},
  pages = {119-132},
}

@inproceedings{StempleSS88,
  title = {Formalizing Objects for Databases using ADABTPL},
  author = {David W. Stemple and Adolfo Socorro and Tim  Sheard},
  year = {1988},
  tags = {meta-model, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/StempleSS88},
  cites = {0},
  citedby = {0},
  pages = {110-128},
  booktitle = {COODBSE},
}

@inproceedings{StempleS87,
  title = {Construction and Calculus of Types for Database Systems},
  author = {David W. Stemple and Tim  Sheard},
  year = {1987},
  tags = {type system, database},
  researchr = {https://researchr.org/publication/StempleS87},
  cites = {0},
  citedby = {0},
  pages = {3-22},
  booktitle = {DBPL},
}

@article{TuckerMSF03,
  title = {Exploiting Punctuation Semantics in Continuous Data Streams},
  author = {Peter A. Tucker and David Maier and Tim  Sheard and Leonidas Fegaras},
  year = {2003},
  url = {http://www.computer.org/tkde/tk2003/k0555abs.htm},
  tags = {semantics, data-flow},
  researchr = {https://researchr.org/publication/TuckerMSF03},
  cites = {0},
  citedby = {0},
  journal = {tkde},
  volume = {15},
  number = {3},
  pages = {555-568},
}

@inproceedings{TahaS97:0,
  title = {Multi-Stage Programming with Explicit Annotations},
  author = {Walid Taha and Tim  Sheard},
  year = {1997},
  doi = {10.1145/258993.259019},
  url = {http://doi.acm.org/10.1145/258993.259019},
  tags = {programming},
  researchr = {https://researchr.org/publication/TahaS97%3A0},
  cites = {0},
  citedby = {0},
  pages = {203-217},
  booktitle = {PEPM},
}

@inproceedings{SheardL02,
  title = {Search-based binding time analysis using type-directed pruning},
  author = {Tim  Sheard and Nathan Linger},
  year = {2002},
  doi = {10.1145/568173.568176},
  url = {http://doi.acm.org/10.1145/568173.568176},
  tags = {rule-based, analysis, search},
  researchr = {https://researchr.org/publication/SheardL02},
  cites = {0},
  citedby = {0},
  pages = {20-31},
  booktitle = {PEPM},
}

@inproceedings{MoggiTBS99,
  title = {An Idealized MetaML: Simpler, and More Expressive},
  author = {Eugenio Moggi and Walid Taha and Zine-El-Abidine Benaissa and Tim  Sheard},
  year = {1999},
  url = {http://link.springer.de/link/service/series/0558/bibs/1576/15760193.htm},
  researchr = {https://researchr.org/publication/MoggiTBS99},
  cites = {0},
  citedby = {0},
  pages = {193-207},
  booktitle = {ESOP},
}

@inproceedings{TahaS97,
  title = {Multi-Stage Programming},
  author = {Walid Taha and Tim  Sheard},
  year = {1997},
  tags = {programming},
  researchr = {https://researchr.org/publication/TahaS97},
  cites = {0},
  citedby = {0},
  pages = {321},
  booktitle = {ICFP},
}

@inproceedings{SheardF93,
  title = {A Fold for All Seasons},
  author = {Tim  Sheard and Leonidas Fegaras},
  year = {1993},
  researchr = {https://researchr.org/publication/SheardF93},
  cites = {0},
  citedby = {0},
  pages = {233-242},
  booktitle = {fpca},
}

@article{Sheard91,
  title = {Automatic Generation and Use of Abstract Structure Operators},
  author = {Tim  Sheard},
  year = {1991},
  doi = {10.1145/115372.115369},
  url = {http://doi.acm.org/10.1145/115372.115369},
  researchr = {https://researchr.org/publication/Sheard91},
  cites = {0},
  citedby = {0},
  journal = {TOPLAS},
  volume = {13},
  number = {4},
  pages = {531-557},
}

@inproceedings{SheardL07,
  title = {Programming in Omega},
  author = {Tim  Sheard and Nathan Linger},
  year = {2007},
  doi = {10.1007/978-3-540-88059-2_5},
  url = {http://dx.doi.org/10.1007/978-3-540-88059-2_5},
  tags = {programming},
  researchr = {https://researchr.org/publication/SheardL07},
  cites = {0},
  citedby = {0},
  pages = {158-227},
  booktitle = {cefp},
}

@inproceedings{Sheard98,
  title = {Using MetaML: A Staged Programming Language},
  author = {Tim  Sheard},
  year = {1998},
  tags = {programming languages, programming},
  researchr = {https://researchr.org/publication/Sheard98},
  cites = {0},
  citedby = {0},
  pages = {207-239},
  booktitle = {afp},
}

@inproceedings{SheardS85,
  title = {Coping with Complexity in Automated Reasoning about Database Systems},
  author = {Tim  Sheard and David W. Stemple},
  year = {1985},
  tags = {database},
  researchr = {https://researchr.org/publication/SheardS85},
  cites = {0},
  citedby = {0},
  pages = {426-435},
  booktitle = {VLDB},
}

@inproceedings{Sheard05,
  title = {Putting curry-howard to work},
  author = {Tim  Sheard},
  year = {2005},
  doi = {10.1145/1088348.1088356},
  url = {http://doi.acm.org/10.1145/1088348.1088356},
  tags = {Haskell},
  researchr = {https://researchr.org/publication/Sheard05},
  cites = {0},
  citedby = {0},
  pages = {74-85},
  booktitle = {haskell},
}

@article{CalcagnoMS03,
  title = {Closed types for a safe imperative MetaML},
  author = {Cristiano Calcagno and Eugenio Moggi and Tim  Sheard},
  year = {2003},
  doi = {10.1017/S0956796802004598},
  url = {http://dx.doi.org/10.1017/S0956796802004598},
  researchr = {https://researchr.org/publication/CalcagnoMS03},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {13},
  number = {3},
  pages = {545-571},
}

@article{TuckerMSS07,
  title = {Using Punctuation Schemes to Characterize Strategies for Querying over Data Streams},
  author = {Peter A. Tucker and David Maier and Tim  Sheard and Paul Stephens},
  year = {2007},
  doi = {10.1109/TKDE.2007.1052},
  url = {http://doi.ieeecomputersociety.org/10.1109/TKDE.2007.1052},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/TuckerMSS07},
  cites = {0},
  citedby = {0},
  journal = {tkde},
  volume = {19},
  number = {9},
  pages = {1227-1240},
}

@article{TahaS00,
  title = {{MetaML} and multi-stage programming with explicit annotations},
  author = {Walid Taha and Tim  Sheard},
  year = {2000},
  doi = {10.1016/S0304-3975(00)00053-0},
  url = {http://dx.doi.org/10.1016/S0304-3975(00)00053-0},
  tags = {programming languages, semantics, rule-based, type soundness, language engineering, software language engineering, language design, principles, type system, software engineering, code generation, type checking, programming, staged computation, design},
  researchr = {https://researchr.org/publication/TahaS00},
  cites = {0},
  citedby = {1},
  journal = {TCS},
  volume = {248},
  number = {1-2},
  pages = {211-242},
}

@inproceedings{PasalicTS02,
  title = {Tagless staged interpreters for typed languages},
  author = {Emir Pasalic and Walid Taha and Tim  Sheard},
  year = {2002},
  doi = {10.1145/581478.581499},
  url = {http://doi.acm.org/10.1145/581478.581499},
  tags = {interpreter},
  researchr = {https://researchr.org/publication/PasalicTS02},
  cites = {0},
  citedby = {0},
  pages = {218-229},
  booktitle = {ICFP},
}

@inproceedings{StempleMS87,
  title = {On the Modes and Meaning of Feedback to Transaction Designers},
  author = {David W. Stemple and Subhasish Mazumdar and Tim  Sheard},
  year = {1987},
  doi = {10.1145/38713.38753},
  url = {http://doi.acm.org/10.1145/38713.38753},
  researchr = {https://researchr.org/publication/StempleMS87},
  cites = {0},
  citedby = {0},
  pages = {374-386},
  booktitle = {SIGMOD},
}

@inproceedings{FegarasSS89,
  title = {The ADABTPL Type System},
  author = {Leonidas Fegaras and Tim  Sheard and David W. Stemple},
  year = {1989},
  tags = {type system},
  researchr = {https://researchr.org/publication/FegarasSS89},
  cites = {0},
  citedby = {0},
  pages = {207-218},
  booktitle = {DBPL},
}

@inproceedings{StempleS85,
  title = {Database Theory for Supporting Specification-Based Database Systems Development},
  author = {David W. Stemple and Tim  Sheard},
  year = {1985},
  tags = {rule-based, database},
  researchr = {https://researchr.org/publication/StempleS85},
  cites = {0},
  citedby = {0},
  pages = {43-49},
  booktitle = {ICSE},
}

@inproceedings{FegarasSZ94,
  title = {Improving Programs Which Recurse over Multiple Inductive Structures},
  author = {Leonidas Fegaras and Tim  Sheard and Tong Zhou},
  year = {1994},
  researchr = {https://researchr.org/publication/FegarasSZ94},
  cites = {0},
  citedby = {0},
  pages = {21-32},
  booktitle = {PEPM},
}

@article{TuckerMS03,
  title = {Applying Punctuation Schemes to Queries Over Continuous Data Streams},
  author = {Peter A. Tucker and David Maier and Tim  Sheard},
  year = {2003},
  url = {http://sites.computer.org/debull/A03MAR-CD.pdf},
  tags = {data-flow},
  researchr = {https://researchr.org/publication/TuckerMS03},
  cites = {0},
  citedby = {0},
  journal = {DEBU},
  volume = {26},
  number = {1},
  pages = {33-40},
}

@inproceedings{StempleSB86,
  title = {Abstract Data Types in Databases: Specification, Manipulation and Access},
  author = {David W. Stemple and Tim  Sheard and Ralph E. Bunker},
  year = {1986},
  tags = {data-flow, e-science},
  researchr = {https://researchr.org/publication/StempleSB86},
  cites = {0},
  citedby = {0},
  pages = {590-597},
  booktitle = {icde},
}

@inproceedings{HarrisonS01,
  title = {Dynamically Adaptable Software with Metacomputations in a Staged Language},
  author = {William L. Harrison and Tim  Sheard},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2196/21960163.htm},
  researchr = {https://researchr.org/publication/HarrisonS01},
  cites = {0},
  citedby = {0},
  pages = {163-182},
  booktitle = {saig},
}

@inproceedings{FegarasS96,
  title = {Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space)},
  author = {Leonidas Fegaras and Tim  Sheard},
  year = {1996},
  doi = {10.1145/237721.237792},
  url = {http://doi.acm.org/10.1145/237721.237792},
  researchr = {https://researchr.org/publication/FegarasS96},
  cites = {0},
  citedby = {0},
  pages = {284-294},
  booktitle = {POPL},
}

@inproceedings{Sheard01:1,
  title = {Accomplishments and Research Challenges in Meta-programming},
  author = {Tim  Sheard},
  year = {2001},
  url = {http://link.springer.de/link/service/series/0558/bibs/2196/21960002.htm},
  tags = {meta programming, meta-model, programming, Meta-Environment, meta-objects},
  researchr = {https://researchr.org/publication/Sheard01%3A1},
  cites = {0},
  citedby = {1},
  pages = {2-44},
  booktitle = {saig},
}

@inproceedings{Sheard97,
  title = {A Type-directed, On-line, Partial Evaluator for a Polymorphic Language},
  author = {Tim  Sheard},
  year = {1997},
  doi = {10.1145/258993.258999},
  url = {http://doi.acm.org/10.1145/258993.258999},
  tags = {partial evaluation},
  researchr = {https://researchr.org/publication/Sheard97},
  cites = {0},
  citedby = {0},
  pages = {22-35},
  booktitle = {PEPM},
}

@inproceedings{Sheard93,
  title = {Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection},
  author = {Tim  Sheard},
  year = {1993},
  tags = {compiler, abstraction, reflection},
  researchr = {https://researchr.org/publication/Sheard93},
  cites = {0},
  citedby = {0},
  pages = {145-152},
  booktitle = {amast},
}

@inproceedings{LingerS04,
  title = {Binding-Time Analysis for MetaML via Type Inference and Constraint Solving},
  author = {Nathan Linger and Tim  Sheard},
  year = {2004},
  url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=266},
  tags = {type inference, analysis, constraints},
  researchr = {https://researchr.org/publication/LingerS04},
  cites = {0},
  citedby = {0},
  pages = {266-279},
  booktitle = {TACAS},
}

@inproceedings{Sheard04,
  title = {Languages of the future},
  author = {Tim  Sheard},
  year = {2004},
  doi = {10.1145/1028664.1028711},
  url = {http://doi.acm.org/10.1145/1028664.1028711},
  researchr = {https://researchr.org/publication/Sheard04},
  cites = {0},
  citedby = {0},
  pages = {116-119},
  booktitle = {OOPSLA},
}

@inproceedings{ShieldsSJ98,
  title = {Dynamic Typing as Staged Type Inference},
  author = {Mark Shields and Tim  Sheard and Simon L. Peyton Jones},
  year = {1998},
  doi = {10.1145/268946.268970},
  url = {http://doi.acm.org/10.1145/268946.268970},
  tags = {type inference},
  researchr = {https://researchr.org/publication/ShieldsSJ98},
  cites = {0},
  citedby = {0},
  pages = {289-302},
  booktitle = {POPL},
}

@inproceedings{Mishra-LingerS08,
  title = {Erasure and Polymorphism in Pure Type Systems},
  author = {Nathan Mishra-Linger and Tim  Sheard},
  year = {2008},
  doi = {10.1007/978-3-540-78499-9_25},
  url = {http://dx.doi.org/10.1007/978-3-540-78499-9_25},
  tags = {type system},
  researchr = {https://researchr.org/publication/Mishra-LingerS08},
  cites = {0},
  citedby = {0},
  pages = {350-364},
  booktitle = {fossacs},
}

@inproceedings{Sheard01:0,
  title = {Generic Unification via Two-Level Types and Parameterized Modules},
  author = {Tim  Sheard},
  year = {2001},
  researchr = {https://researchr.org/publication/Sheard01%3A0},
  cites = {0},
  citedby = {0},
  pages = {86-97},
  booktitle = {ICFP},
}

@article{SheardS92,
  title = {Inheritance of Theory in the Adabtpl Language},
  author = {Tim  Sheard and David W. Stemple},
  year = {1992},
  researchr = {https://researchr.org/publication/SheardS92},
  cites = {0},
  citedby = {0},
  journal = {Comp. Lang., Syst. \& Struct.},
  volume = {17},
  number = {3},
  pages = {157-167},
}

@article{SheardP04,
  title = {Two-level types and parameterized modules},
  author = {Tim  Sheard and Emir Pasalic},
  year = {2004},
  doi = {10.1017/S095679680300488X},
  url = {http://dx.doi.org/10.1017/S095679680300488X},
  researchr = {https://researchr.org/publication/SheardP04},
  cites = {0},
  citedby = {0},
  journal = {JFP},
  volume = {14},
  number = {5},
  pages = {547-587},
}

@inproceedings{FegarasMS93,
  title = {Specifying Rule-Based Query Optimizers in a Reflective Framework},
  author = {Leonidas Fegaras and David Maier and Tim  Sheard},
  year = {1993},
  tags = {optimization, rule-based, rules},
  researchr = {https://researchr.org/publication/FegarasMS93},
  cites = {0},
  citedby = {0},
  pages = {146-168},
  booktitle = {DOOD},
}

@inproceedings{MazumdarSS88,
  title = {Resolving the Tension between Integrity and Security Using a Theorem Prover},
  author = {Subhasish Mazumdar and David W. Stemple and Tim  Sheard},
  year = {1988},
  doi = {10.1145/50202.50231},
  url = {http://doi.acm.org/10.1145/50202.50231},
  tags = {security},
  researchr = {https://researchr.org/publication/MazumdarSS88},
  cites = {0},
  citedby = {0},
  pages = {233-242},
  booktitle = {SIGMOD},
}

@article{SheardS89,
  title = {Automatic Verification of Database Transaction Safety},
  author = {Tim  Sheard and David W. Stemple},
  year = {1989},
  doi = {10.1145/68012.68014},
  url = {http://doi.acm.org/10.1145/68012.68014},
  tags = {database},
  researchr = {https://researchr.org/publication/SheardS89},
  cites = {0},
  citedby = {0},
  journal = {TODS},
  volume = {14},
  number = {3},
  pages = {322-368},
}

@inproceedings{StempleS90,
  title = {A Recursive Base for Database Programming Primitives},
  author = {David W. Stemple and Tim  Sheard},
  year = {1990},
  tags = {rule-based, programming, database},
  researchr = {https://researchr.org/publication/StempleS90},
  cites = {0},
  citedby = {0},
  pages = {311-332},
  booktitle = {ewdw},
}

@inproceedings{LaunchburyS95,
  title = {Warm Fusion: Deriving Build-Cata s from Recursive Definitions},
  author = {John Launchbury and Tim  Sheard},
  year = {1995},
  researchr = {https://researchr.org/publication/LaunchburyS95},
  cites = {0},
  citedby = {0},
  pages = {314-323},
  booktitle = {fpca},
}
@proceedings{afp:1996,
  title = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text},
  year = {1996},
  tags = {functional programming, programming},
  researchr = {https://researchr.org/publication/afp%3A1996},
  cites = {0},
  citedby = {0},
  booktitle = {Advanced Functional Programming, Second International School, Olympia, WA, USA, August 26-30, 1996, Tutorial Text},
  conference = {afp},
  editor = {John Launchbury and Erik Meijer and Tim  Sheard},
  volume = {1129},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-61628-4},
}