publications:
- title: "Exceeding the Limits of Polymorphism in Database Programming Languages"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Leonidas Fegaras"
    link: "https://researchr.org/alias/leonidas-fegaras"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Adolfo Socorro"
    link: "https://researchr.org/alias/adolfo-socorro"
  year: "1990"
  doi: "db/conf/edbt/StempleFSS90.html"
  tags:
  - "programming languages"
  - "programming"
  - "database"
  researchr: "https://researchr.org/publication/StempleFSS90"
  cites: 0
  citedby: 0
  pages: "269-285"
  booktitle: "edbt"
  kind: "inproceedings"
  key: "StempleFSS90"
- title: "A Software Engineering Experiment in Software Component Generation"
  author:
  - name: "Richard B. Kieburtz"
    link: "https://researchr.org/alias/richard-b.-kieburtz"
  - name: "Laura McKinney"
    link: "https://researchr.org/alias/laura-mckinney"
  - name: "Jeffrey M. Bell"
    link: "https://researchr.org/alias/jeffrey-m.-bell"
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Alex Kotov"
    link: "https://researchr.org/alias/alex-kotov"
  - name: "Jeffrey Lewis"
    link: "https://researchr.org/alias/jeffrey-lewis"
  - name: "Dino Oliva"
    link: "https://researchr.org/alias/dino-oliva"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Ira Smith"
    link: "https://researchr.org/alias/ira-smith"
  - name: "Lisa Walton"
    link: "https://researchr.org/alias/lisa-walton"
  year: "1996"
  doi: "http://portal.acm.org/citation.cfm?id=227726.227842"
  abstract: "The paper presents results of a software engineering experiment in which a new technology for constructing program generators from domain-specific specification languages has been compared with a reuse technology that employs sets of reusable Ada program templates. Both technologies were applied to a common problem domain, constructing message translation and validation modules for military command, control, communications and information systems (C/sup 3/I). The experiment employed four subjects to conduct trials of use of the two technologies on a common set of test examples. The experiment was conducted with personnel supplied and supervised by an independent contractor. Test cases consisted of message specifications taken from Air Force C/sup 3/I systems. The main results are that greater productivity was achieved and fewer error were introduced when subjects used the program generator than when they used Ada templates to implement software modules from sets of specifications. The differences in the average performance of the subjects are statistically significant at confidence levels exceeding 99 percent."
  links:
    doi: "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"
  kind: "inproceedings"
  key: "KieburtzMBHKLOSSW96"
- title: "DSL implementation using staging and monads"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Zine-El-Abidine Benaissa"
    link: "http://web.archive.org/web/20010515202744/www.cse.ogi.edu/~benaissa/"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  year: "1999"
  doi: "http://doi.acm.org/10.1145/331960.331975"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SheardBP99"
- title: "The precise control of inheritance and the inheritance of theory in the ADABTPL language"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  year: "1988"
  doi: "http://dx.doi.org/10.1109/ICCL.1988.13064"
  links:
    doi: "http://dx.doi.org/10.1109/ICCL.1988.13064"
  researchr: "https://researchr.org/publication/SheardS88"
  cites: 0
  citedby: 0
  pages: "194-201"
  booktitle: "iccl"
  kind: "inproceedings"
  key: "SheardS88"
- title: "Uniform Traversal Combinators: Definition, Use and Properties"
  author:
  - name: "Leonidas Fegaras"
    link: "https://researchr.org/alias/leonidas-fegaras"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  year: "1992"
  tags:
  - "traversal"
  researchr: "https://researchr.org/publication/FegarasSS92"
  cites: 0
  citedby: 0
  pages: "148-162"
  booktitle: "cade"
  kind: "inproceedings"
  key: "FegarasSS92"
- title: "Meta-programming With Built-in Type Equality"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  year: "2008"
  doi: "http://dx.doi.org/10.1016/j.entcs.2007.11.012"
  links:
    doi: "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"
  kind: "article"
  key: "SheardP08"
- title: "Specification and Verification of Abstract Database Types"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1984"
  doi: "http://doi.acm.org/10.1145/588011.588047"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "StempleS84"
- title: "Calculating Software Generators from Solution Specifications"
  author:
  - name: "Richard B. Kieburtz"
    link: "https://researchr.org/alias/richard-b.-kieburtz"
  - name: "Françoise Bellegarde"
    link: "https://researchr.org/alias/fran%C3%A7oise-bellegarde"
  - name: "Jeffrey M. Bell"
    link: "https://researchr.org/alias/jeffrey-m.-bell"
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Jeffrey Lewis"
    link: "https://researchr.org/alias/jeffrey-lewis"
  - name: "Dino Oliva"
    link: "https://researchr.org/alias/dino-oliva"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Lisa Walton"
    link: "https://researchr.org/alias/lisa-walton"
  - name: "Tong Zhou"
    link: "https://researchr.org/alias/tong-zhou"
  year: "1995"
  researchr: "https://researchr.org/publication/KieburtzBBHLOSWZ95"
  cites: 0
  citedby: 0
  pages: "546-560"
  booktitle: "tapsoft"
  kind: "inproceedings"
  key: "KieburtzBBHLOSWZ95"
- title: "Template meta-programming for Haskell"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/636517.636528"
  abstract: " We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The purpose of the system is to support the algorithmic construction of programs at compile-time.The ability to generate code at compile time allows the programmer to implement such features as polytypic programs, macro-like expansion, user directed optimization (such as inlining), and the generation of supporting data structures and functions from existing data structures and functions.Our design is being implemented in the Glasgow Haskell Compiler, ghc. "
  links:
    doi: "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"
  kind: "article"
  key: "SheardJ02"
- title: "Operating System Support for Abstract Data(base) Types"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Krithi Ramamritham"
    link: "https://researchr.org/alias/krithi-ramamritham"
  - name: "Stephen Vinter"
    link: "https://researchr.org/alias/stephen-vinter"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~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"
  kind: "inproceedings"
  key: "StempleRVS83"
- title: "Fine Control of Demand in Haskell"
  author:
  - name: "William L. Harrison"
    link: "https://researchr.org/alias/william-l.-harrison"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  year: "2002"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2386/23860068.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HarrisonSH02"
- title: "Type-level Computation Using Narrowing in Omegamega"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2007"
  doi: "http://dx.doi.org/10.1016/j.entcs.2006.10.040"
  links:
    doi: "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"
  kind: "article"
  key: "Sheard07"
- title: "Multi-Stage Programming: Axiomatization and Type Safety"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Zine-El-Abidine Benaissa"
    link: "http://web.archive.org/web/20010515202744/www.cse.ogi.edu/~benaissa/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1998"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1443/14430918.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "TahaBS98"
- title: "Incorporating theory into database system development"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Ralph E. Bunker"
    link: "https://researchr.org/alias/ralph-e.-bunker"
  year: "1986"
  doi: "http://dx.doi.org/10.1016/0306-4573(86)90030-0"
  links:
    doi: "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"
  kind: "article"
  key: "StempleSB86:0"
- title: "Software design for reliability and reuse: a proof-of-concept demonstration"
  author:
  - name: "Jeffrey M. Bell"
    link: "https://researchr.org/alias/jeffrey-m.-bell"
  - name: "Françoise Bellegarde"
    link: "https://researchr.org/alias/fran%C3%A7oise-bellegarde"
  - name: "James Hook"
    link: "https://researchr.org/alias/james-hook"
  - name: "Richard B. Kieburtz"
    link: "https://researchr.org/alias/richard-b.-kieburtz"
  - name: "Alex Kotov"
    link: "https://researchr.org/alias/alex-kotov"
  - name: "Jeffrey Lewis"
    link: "https://researchr.org/alias/jeffrey-lewis"
  - name: "Laura McKinney"
    link: "https://researchr.org/alias/laura-mckinney"
  - name: "Dino Oliva"
    link: "https://researchr.org/alias/dino-oliva"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "L. Tong"
    link: "https://researchr.org/alias/l.-tong"
  - name: "Lisa Walton"
    link: "https://researchr.org/alias/lisa-walton"
  - name: "Tong Zhou"
    link: "https://researchr.org/alias/tong-zhou"
  year: "1994"
  doi: "http://doi.acm.org/10.1145/197694.197740"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "BellBHKKLMOSTWZ94"
- title: "Languages of the future"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1052883.1052897"
  links:
    doi: "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"
  kind: "article"
  key: "Sheard04:0"
- title: "Formalizing Objects for Databases using ADABTPL"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Adolfo Socorro"
    link: "https://researchr.org/alias/adolfo-socorro"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~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"
  kind: "inproceedings"
  key: "StempleSS88"
- title: "Construction and Calculus of Types for Database Systems"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1987"
  doi: "db/conf/dbpl/StempleS87.html"
  tags:
  - "type system"
  - "database"
  researchr: "https://researchr.org/publication/StempleS87"
  cites: 0
  citedby: 0
  pages: "3-22"
  booktitle: "DBPL"
  kind: "inproceedings"
  key: "StempleS87"
- title: "Exploiting Punctuation Semantics in Continuous Data Streams"
  author:
  - name: "Peter A. Tucker"
    link: "https://researchr.org/alias/peter-a.-tucker"
  - name: "David Maier"
    link: "https://researchr.org/alias/david-maier"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Leonidas Fegaras"
    link: "https://researchr.org/alias/leonidas-fegaras"
  year: "2003"
  doi: "http://www.computer.org/tkde/tk2003/k0555abs.htm"
  links:
    doi: "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"
  kind: "article"
  key: "TuckerMSF03"
- title: "Multi-Stage Programming with Explicit Annotations"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258993.259019"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "TahaS97:0"
- title: "Search-based binding time analysis using type-directed pruning"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Nathan Linger"
    link: "https://researchr.org/alias/nathan-linger"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/568173.568176"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SheardL02"
- title: "An Idealized MetaML: Simpler, and More Expressive"
  author:
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Zine-El-Abidine Benaissa"
    link: "http://web.archive.org/web/20010515202744/www.cse.ogi.edu/~benaissa/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1999"
  doi: "http://link.springer.de/link/service/series/0558/bibs/1576/15760193.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MoggiTBS99"
- title: "Multi-Stage Programming"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1997"
  tags:
  - "programming"
  researchr: "https://researchr.org/publication/TahaS97"
  cites: 0
  citedby: 0
  pages: "321"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "TahaS97"
- title: "A Fold for All Seasons"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Leonidas Fegaras"
    link: "https://researchr.org/alias/leonidas-fegaras"
  year: "1993"
  researchr: "https://researchr.org/publication/SheardF93"
  cites: 0
  citedby: 0
  pages: "233-242"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "SheardF93"
- title: "Automatic Generation and Use of Abstract Structure Operators"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1991"
  doi: "http://doi.acm.org/10.1145/115372.115369"
  links:
    doi: "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"
  kind: "article"
  key: "Sheard91"
- title: "Programming in Omega"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Nathan Linger"
    link: "https://researchr.org/alias/nathan-linger"
  year: "2007"
  doi: "http://dx.doi.org/10.1007/978-3-540-88059-2_5"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "SheardL07"
- title: "Using MetaML: A Staged Programming Language"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1998"
  tags:
  - "programming languages"
  - "programming"
  researchr: "https://researchr.org/publication/Sheard98"
  cites: 0
  citedby: 0
  pages: "207-239"
  booktitle: "afp"
  kind: "inproceedings"
  key: "Sheard98"
- title: "Coping with Complexity in Automated Reasoning about Database Systems"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  year: "1985"
  doi: "db/conf/vldb/SheardS85.html"
  tags:
  - "database"
  researchr: "https://researchr.org/publication/SheardS85"
  cites: 0
  citedby: 0
  pages: "426-435"
  booktitle: "VLDB"
  kind: "inproceedings"
  key: "SheardS85"
- title: "Putting curry-howard to work"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2005"
  doi: "http://doi.acm.org/10.1145/1088348.1088356"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Sheard05"
- title: "Closed types for a safe imperative MetaML"
  author:
  - name: "Cristiano Calcagno"
    link: "https://researchr.org/alias/cristiano-calcagno"
  - name: "Eugenio Moggi"
    link: "https://researchr.org/alias/eugenio-moggi"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2003"
  doi: "http://dx.doi.org/10.1017/S0956796802004598"
  links:
    doi: "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"
  kind: "article"
  key: "CalcagnoMS03"
- title: "Using Punctuation Schemes to Characterize Strategies for Querying over Data Streams"
  author:
  - name: "Peter A. Tucker"
    link: "https://researchr.org/alias/peter-a.-tucker"
  - name: "David Maier"
    link: "https://researchr.org/alias/david-maier"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Paul Stephens"
    link: "https://researchr.org/alias/paul-stephens"
  year: "2007"
  doi: "http://doi.ieeecomputersociety.org/10.1109/TKDE.2007.1052"
  links:
    doi: "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"
  kind: "article"
  key: "TuckerMSS07"
- title: "MetaML and multi-stage programming with explicit annotations"
  author:
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2000"
  doi: "http://dx.doi.org/10.1016/S0304-3975(00)00053-0"
  abstract: "Abstract We introduce MetaML, a practically motivated, statically typed multi-stage programming language. MetaML is a “real” language. We have built an implementation and used it to solve multi-stage problems. MetaML allows the programmer to construct, combine, and execute code fragments in a type-safe manner. Code fragments can contain free variables, but they obey the static-scoping principle. MetaML performs type-checking for all stages once and for all before the execution of the first stage. Certain anomalies with our first MetaML implementation led us to formalize an illustrative subset of the MetaML implementation. We present both a big-step semantics and type system for this subset, and prove the type system's soundness with respect to a big-step semantics. From a software engineering point of view, this means that generators written in the MetaML subset never generate unsafe programs. A type system and semantics for full MetaML is still ongoing work. We argue that multi-stage languages are useful as programming languages in their own right, that they supply a sound basis for high-level program generation technology, and that they should support features that make it possible for programmers to write staged computations without significantly changing their normal programming style. To illustrate this we provide a simple three-stage example elaborating a number of practical issues. The design of MetaML was based on two main principles that we identified as fundamental for high-level program generation, namely, cross-stage persistence and cross-stage safety. We present these principles, explain the technical problems they give rise to, and how we address with these problems in our implementation."
  links:
    doi: "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"
  kind: "article"
  key: "TahaS00"
- title: "Tagless staged interpreters for typed languages"
  author:
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  - name: "Walid Taha"
    link: "http://www.cs.rice.edu/~taha/"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2002"
  doi: "http://doi.acm.org/10.1145/581478.581499"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "PasalicTS02"
- title: "On the Modes and Meaning of Feedback to Transaction Designers"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Subhasish Mazumdar"
    link: "https://researchr.org/alias/subhasish-mazumdar"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1987"
  doi: "http://doi.acm.org/10.1145/38713.38753"
  links:
    doi: "http://doi.acm.org/10.1145/38713.38753"
  researchr: "https://researchr.org/publication/StempleMS87"
  cites: 0
  citedby: 0
  pages: "374-386"
  booktitle: "SIGMOD"
  kind: "inproceedings"
  key: "StempleMS87"
- title: "The ADABTPL Type System"
  author:
  - name: "Leonidas Fegaras"
    link: "https://researchr.org/alias/leonidas-fegaras"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  year: "1989"
  doi: "db/conf/dbpl/FegarasSS89.html"
  tags:
  - "type system"
  researchr: "https://researchr.org/publication/FegarasSS89"
  cites: 0
  citedby: 0
  pages: "207-218"
  booktitle: "DBPL"
  kind: "inproceedings"
  key: "FegarasSS89"
- title: "Database Theory for Supporting Specification-Based Database Systems Development"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1985"
  tags:
  - "rule-based"
  - "database"
  researchr: "https://researchr.org/publication/StempleS85"
  cites: 0
  citedby: 0
  pages: "43-49"
  booktitle: "ICSE"
  kind: "inproceedings"
  key: "StempleS85"
- title: "Improving Programs Which Recurse over Multiple Inductive Structures"
  author:
  - name: "Leonidas Fegaras"
    link: "https://researchr.org/alias/leonidas-fegaras"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Tong Zhou"
    link: "https://researchr.org/alias/tong-zhou"
  year: "1994"
  researchr: "https://researchr.org/publication/FegarasSZ94"
  cites: 0
  citedby: 0
  pages: "21-32"
  booktitle: "PEPM"
  kind: "inproceedings"
  key: "FegarasSZ94"
- title: "Applying Punctuation Schemes to Queries Over Continuous Data Streams"
  author:
  - name: "Peter A. Tucker"
    link: "https://researchr.org/alias/peter-a.-tucker"
  - name: "David Maier"
    link: "https://researchr.org/alias/david-maier"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2003"
  doi: "http://sites.computer.org/debull/A03MAR-CD.pdf"
  links:
    doi: "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"
  kind: "article"
  key: "TuckerMS03"
- title: "Abstract Data Types in Databases: Specification, Manipulation and Access"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Ralph E. Bunker"
    link: "https://researchr.org/alias/ralph-e.-bunker"
  year: "1986"
  doi: "db/conf/icde/StempleSB86.html"
  tags:
  - "data-flow"
  - "e-science"
  researchr: "https://researchr.org/publication/StempleSB86"
  cites: 0
  citedby: 0
  pages: "590-597"
  booktitle: "icde"
  kind: "inproceedings"
  key: "StempleSB86"
- title: "Dynamically Adaptable Software with Metacomputations in a Staged Language"
  author:
  - name: "William L. Harrison"
    link: "https://researchr.org/alias/william-l.-harrison"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960163.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "HarrisonS01"
- title: "Revisiting Catamorphisms over Datatypes with Embedded Functions (or, Programs from Outer Space)"
  author:
  - name: "Leonidas Fegaras"
    link: "https://researchr.org/alias/leonidas-fegaras"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1996"
  doi: "http://doi.acm.org/10.1145/237721.237792"
  links:
    doi: "http://doi.acm.org/10.1145/237721.237792"
  researchr: "https://researchr.org/publication/FegarasS96"
  cites: 0
  citedby: 0
  pages: "284-294"
  booktitle: "POPL"
  kind: "inproceedings"
  key: "FegarasS96"
- title: "Accomplishments and Research Challenges in Meta-programming"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2001"
  doi: "http://link.springer.de/link/service/series/0558/bibs/2196/21960002.htm"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Sheard01:1"
- title: "A Type-directed, On-line, Partial Evaluator for a Polymorphic Language"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1997"
  doi: "http://doi.acm.org/10.1145/258993.258999"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Sheard97"
- title: "Increasing the Level of Abstraction in Traditional Functional Languages by Using Compile-time Reflection"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1993"
  tags:
  - "compiler"
  - "abstraction"
  - "reflection"
  researchr: "https://researchr.org/publication/Sheard93"
  cites: 0
  citedby: 0
  pages: "145-152"
  booktitle: "amast"
  kind: "inproceedings"
  key: "Sheard93"
- title: "Binding-Time Analysis for MetaML via Type Inference and Constraint Solving"
  author:
  - name: "Nathan Linger"
    link: "https://researchr.org/alias/nathan-linger"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2004"
  doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2988&spage=266"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "LingerS04"
- title: "Languages of the future"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2004"
  doi: "http://doi.acm.org/10.1145/1028664.1028711"
  links:
    doi: "http://doi.acm.org/10.1145/1028664.1028711"
  researchr: "https://researchr.org/publication/Sheard04"
  cites: 0
  citedby: 0
  pages: "116-119"
  booktitle: "OOPSLA"
  kind: "inproceedings"
  key: "Sheard04"
- title: "Dynamic Typing as Staged Type Inference"
  author:
  - name: "Mark Shields"
    link: "https://researchr.org/alias/mark-shields"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Simon L. Peyton Jones"
    link: "http://research.microsoft.com/en-us/people/simonpj/"
  year: "1998"
  doi: "http://doi.acm.org/10.1145/268946.268970"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "ShieldsSJ98"
- title: "Erasure and Polymorphism in Pure Type Systems"
  author:
  - name: "Nathan Mishra-Linger"
    link: "https://researchr.org/alias/nathan-mishra-linger"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2008"
  doi: "http://dx.doi.org/10.1007/978-3-540-78499-9_25"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "Mishra-LingerS08"
- title: "Generic Unification via Two-Level Types and Parameterized Modules"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "2001"
  researchr: "https://researchr.org/publication/Sheard01%3A0"
  cites: 0
  citedby: 0
  pages: "86-97"
  booktitle: "ICFP"
  kind: "inproceedings"
  key: "Sheard01:0"
- title: "Inheritance of Theory in the Adabtpl Language"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/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"
  kind: "article"
  key: "SheardS92"
- title: "Two-level types and parameterized modules"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "Emir Pasalic"
    link: "https://researchr.org/alias/emir-pasalic"
  year: "2004"
  doi: "http://dx.doi.org/10.1017/S095679680300488X"
  links:
    doi: "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"
  kind: "article"
  key: "SheardP04"
- title: "Specifying Rule-Based Query Optimizers in a Reflective Framework"
  author:
  - name: "Leonidas Fegaras"
    link: "https://researchr.org/alias/leonidas-fegaras"
  - name: "David Maier"
    link: "https://researchr.org/alias/david-maier"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1993"
  tags:
  - "optimization"
  - "rule-based"
  - "rules"
  researchr: "https://researchr.org/publication/FegarasMS93"
  cites: 0
  citedby: 0
  pages: "146-168"
  booktitle: "DOOD"
  kind: "inproceedings"
  key: "FegarasMS93"
- title: "Resolving the Tension between Integrity and Security Using a Theorem Prover"
  author:
  - name: "Subhasish Mazumdar"
    link: "https://researchr.org/alias/subhasish-mazumdar"
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1988"
  doi: "http://doi.acm.org/10.1145/50202.50231"
  links:
    doi: "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"
  kind: "inproceedings"
  key: "MazumdarSS88"
- title: "Automatic Verification of Database Transaction Safety"
  author:
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  year: "1989"
  doi: "http://doi.acm.org/10.1145/68012.68014"
  links:
    doi: "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"
  kind: "article"
  key: "SheardS89"
- title: "A Recursive Base for Database Programming Primitives"
  author:
  - name: "David W. Stemple"
    link: "https://researchr.org/alias/david-w.-stemple"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1990"
  tags:
  - "rule-based"
  - "programming"
  - "database"
  researchr: "https://researchr.org/publication/StempleS90"
  cites: 0
  citedby: 0
  pages: "311-332"
  booktitle: "ewdw"
  kind: "inproceedings"
  key: "StempleS90"
- title: "Warm Fusion: Deriving Build-Cata s from Recursive Definitions"
  author:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  year: "1995"
  researchr: "https://researchr.org/publication/LaunchburyS95"
  cites: 0
  citedby: 0
  pages: "314-323"
  booktitle: "fpca"
  kind: "inproceedings"
  key: "LaunchburyS95"
- 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:
  - name: "John Launchbury"
    link: "https://researchr.org/alias/john-launchbury"
  - name: "Erik Meijer"
    link: "https://researchr.org/alias/erik-meijer"
  - name: "Tim  Sheard"
    link: "http://web.cecs.pdx.edu/~sheard/"
  volume: "1129"
  series: "Lecture Notes in Computer Science"
  publisher: "Springer"
  isbn: "3-540-61628-4"
  kind: "proceedings"
  key: "afp:1996"