@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 = {Advances in Database Technology - EDBT 90.  International Conference on Extending Database Technology, Venice, Italy, March 26-30, 1990, Proceedings},
  editor = {François Bancilhon and Costantino Thanos and Dennis Tsichritzis},
  volume = {416},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-52291-3},
}

@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 = {1988 Internation Conference on Computer Languages, October 9-13, 1988, Miami, Florida, USA},
  publisher = {IEEE},
}

@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 = {Automated Deduction - CADE-11, 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992, Proceedings},
  editor = {Deepak Kapur},
  volume = {607},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-55602-8},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Proceedings of the Third ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, April 2-4, 1984, Waterloo, Ontario, Canada},
  publisher = {ACM},
  isbn = {0-89791-128-8},
}

@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 95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings},
  editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach},
  volume = {915},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-59293-8},
}

@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 Notices},
  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-2 Workshop on New Applications of Data Bases},
}

@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 = {Mathematics of Program Construction, 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002, Proceedings},
  editor = {Eerke Boiten and Bernhard Möller},
  volume = {2386},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-43857-2},
}

@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 = {Electronic Notes in Theoretical Computer Science},
  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 = {Automata, Languages and Programming, 25th International Colloquium, ICALP 98, Aalborg, Denmark, July 13-17, 1998, Proceedings},
  editor = {Kim Guldstrand Larsen and Sven Skyum and Glynn Winskel},
  volume = {1443},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-64781-3},
}

@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 = {Inf. Process. Manage.},
  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 = {TRI-Ada},
}

@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 Notices},
  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 = {OODBS},
}

@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 = {Advances in Database Programming Languages, Papers from DBPL-1, September 1987, Roscoff, France},
  editor = {François Bancilhon and Peter Buneman},
  publisher = {ACM Press / Addison-Wesley},
  isbn = {0-201-50257-7},
}

@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 = {IEEE Trans. Knowl. Data Eng.},
  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 = {ASIA-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 = {Programming Languages and Systems, 8th European Symposium on Programming, ESOP 99, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 99, Amsterdam, The Netherlands, 22-28 March, 1999, Proceedings},
  editor = {S. Doaitse Swierstra},
  volume = {1576},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-65699-5},
}

@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 = {ACM Transactions on Programming Languages and Systems},
  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 = {Central European Functional Programming School, Second Summer School, CEFP 2007, Cluj-Napoca, Romania, June 23-30, 2007, Revised Selected Lectures},
  editor = {Zoltán Horváth and Marinus J. Plasmeijer and Anna Soós and Viktória Zsók},
  volume = {5161},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-88058-5},
}

@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 = {Advanced Functional Programming},
}

@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 85, Proceedings of 11th International Conference on Very Large Data Bases, August 21-23, 1985, Stockholm, Sweden},
  editor = {Alain Pirotte and Yannis Vassiliou},
  publisher = {Morgan Kaufmann},
}

@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 = {Proceedings of the ACM SIGPLAN Workshop on Haskell, Haskell 2005, Tallinn, Estonia, September 30, 2005},
  editor = {Daan Leijen},
  publisher = {ACM},
  isbn = {1-59593-071-X},
}

@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 = {Journal of Functional Programming},
  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 = {IEEE Trans. Knowl. Data Eng.},
  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 = {Theoretical Computer Science},
  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 = {Proceedings of the seventh {ACM SIGPLAN} international conference on Functional Programming {(ICFP 2002)}},
}

@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 = {Proceedings of the Association for Computing Machinery Special Interest Group on Management of Data 1987 Annual Conference, San Francisco, California, May 27-29, 1987},
  editor = {Umeshwar Dayal and Irving L. Traiger},
  publisher = {ACM Press},
}

@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 = {Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon},
  editor = {Richard Hull and Ronald Morrison and David W. Stemple},
  publisher = {Morgan Kaufmann},
  isbn = {1-55860-072-8},
}

@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 = {IEEE Data Eng. Bull.},
  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 = {Proceedings of the Second International Conference on Data Engineering, February 5-7, 1986, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-8186-0655-X},
}

@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 = {Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings},
  editor = {Walid Taha},
  volume = {2196},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42558-6},
}

@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 = {Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings},
  editor = {Walid Taha},
  volume = {2196},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42558-6},
}

@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 = {Algebraic Methodology and Software Technology (AMAST  93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993},
  editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo},
  series = {Workshops in Computing},
  publisher = {Springer},
  isbn = {3-540-19852-0},
}

@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 = {Tools and Algorithms for the Construction and Analysis of Systems, 10th International Conference, TACAS 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Procee},
  editor = {Kurt Jensen and Andreas Podelski},
  volume = {2988},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-21299-X},
}

@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 = {Companion to the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada},
  editor = {John M. Vlissides and Douglas C. Schmidt},
  publisher = {ACM},
  isbn = {1-58113-833-4},
}

@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 = {Proceedings of the 25th {ACM SIGPLAN-SIGACT} symposium on Principles of programming languages},
  address = {New York, NY, USA},
  publisher = {ACM},
}

@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 = {Foundations of Software Science and Computational Structures, 11th International Conference, FOSSACS 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedi},
  editor = {Roberto M. Amadio},
  volume = {4962},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-540-78497-5},
}

@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 = {Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming},
  series = {ICFP '01},
  address = {New York, NY, USA},
  publisher = {Association for Computing Machinery},
}

@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 = {Computer Languages, Systems \& Structures},
  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 = {Journal of Functional Programming},
  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 = {Proceedings of the 1988 ACM SIGMOD International Conference on Management of Data, Chicago, Illinois, June 1-3, 1988},
  editor = {Haran Boral and Per-Åke Larson},
  publisher = {ACM Press},
}

@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 = {ACM Trans. Database Syst.},
  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 = {East/West Database Workshop},
}

@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},
}