bcp.bib

@preamble{{\newcommand{\SortNoop}[1]{}}}

@misc{XtaticCompiler,
  author = {Vladimir Gapeyev and Michael Y. Levin and Benjamin C. Pierce and Alan Schmitt},
  title = {The {X}tatic Compiler and Runtime System},
  year = {2005},
  plclub = {Yes},
  bcp = {Yes},
  keys = {xtatic},
  sources = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic.tgz}
}

@phdthesis{LevinThesis,
  author = {Michael Y. Levin},
  title = {Run, Xtatic, Run: Efficient Implementation of an Object-Oriented
                  Language with Regular Pattern Matching},
  school = {University of Pennsylvania},
  year = {2005},
  bcp = {Yes},
  keys = {xtatic},
  plclub = {Yes},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/levin-thesis.pdf}
}

@inproceedings{GapeyevPierce03,
  author = {Vladimir Gapeyev and Benjamin C. Pierce},
  title = {Regular Object Types},
  booktitle = {European Conference on Object-Oriented Programming (ECOOP), Darmstadt, Germany},
  year = {2003},
  note = {A preliminary version was presented at FOOL '03},
  plclub = {Yes},
  bcp = {Yes},
  keys = {xtatic},
  short = {http://www.cis.upenn.edu/~bcpierce/papers/regobj.pdf},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/regobj-ecoop-slides.ps}
}

@misc{Pierce:LinksTalk2005,
  author = {Benjamin C. Pierce},
  title = {Fancy Types for XML: Friend or Foe?},
  month = apr,
  year = 2005,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/linkstalk-200504.pdf},
  note = {Talk at {\em LINKS} workshop, April 2005},
  plclub = {Yes},
  bcp = {Yes},
  keys = {xtatic}
}

@inproceedings{XtaticRuntime,
  title = {{XML} Goes Native: {R}un-time Representations for {Xtatic}},
  author = {Vladimir Gapeyev and Michael Y. Levin
                  and Benjamin C. Pierce and Alan Schmitt},
  year = 2005,
  month = apr,
  booktitle = {14th International Conference on Compiler Construction},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-runtime-CC.pdf},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-runtime-TR.pdf},
  plclub = {Yes},
  bcp = {Yes},
  keys = {xtatic}
}

@inproceedings{XTProgr,
  title = {Statically Typed Document Transformation: {A}n {Xtatic} Experience},
  author = {Vladimir Gapeyev and Fran\c{c}ois Garillot and Benjamin C. Pierce},
  year = 2006,
  month = jan,
  booktitle = {Workshop on Programming Language Technologies for XML (PLAN-X), informal proceedings},
  pdf = {http://www.cis.upenn.edu/~bcpierce/papers/xtprogr-planx.pdf},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtprogr-tr.pdf},
  keys = {xtatic},
  bcp = {Yes},
  plclub = {Yes},
  note = {Available from the Xtatic web site}
}

@inproceedings{XtaticExperience,
  title = {The {Xtatic} Experience},
  author = {Vladimir Gapeyev and Michael Y. Levin
                  and Benjamin C. Pierce and Alan Schmitt},
  booktitle = {Workshop on Programming Language Technologies for XML (PLAN-X)},
  plclub = {Yes},
  bcp = {Yes},
  month = jan,
  year = 2005,
  note = {University of Pennsylvania
                  Technical Report MS-CIS-04-24, Oct 2004},
  keys = {xtatic},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-TR.pdf},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-experience-slides.pdf}
}

@techreport{GapeyevPierce2004,
  title = {Paths into Patterns},
  author = {Vladimir Gapeyev and Benjamin C. Pierce},
  year = 2004,
  month = oct,
  type = {Technical Report},
  number = {MS-CIS-04-25},
  institution = {University of Pennsylvania},
  plclub = {Yes},
  bcp = {Yes},
  keys = {xtatic},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-pathambig-TR.pdf}
}

@inproceedings{LevinPierce04,
  author = {Michael Y. Levin and Benjamin C. Pierce},
  title = {Typed-based optimization for Regular Patterns},
  booktitle = {First International Workshop on High Performance XML Processing},
  year = {2004},
  url = {http://wam.inrialpes.fr/www-workshop2004/Program.html},
  short = {typebasedoptimization-short.pdf},
  keys = {xtatic},
  slides = {typebasedoptimization-slides.pdf}
}

@inproceedings{SchmittXtaticFOOLtalk,
  title = {Native {XML} Processing in Object-Oriented Languages: {C}alling {XMHell} from {PurgatOOry}},
  author = {Alan Schmitt},
  booktitle = {International Workshop on Foundations of Object-Oriented Languages (FOOL){\rm, informal proceedings}},
  year = 2004,
  month = jan,
  note = {Invited talk},
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-fool2003-slides.pdf},
  keys = {xtatic}
}

@misc{XtaticSummaryTalk2004,
  title = {Native {XML} Processing in a Statically Typed Language: {A} Progress Report on the {Xtatic} Project},
  author = {Benjamin C. Pierce},
  year = 2004,
  month = mar,
  slides = {http://www.cis.upenn.edu/~bcpierce/papers/xtatic-progrep-2004-slides.pdf},
  keys = {xtatic}
}

@inproceedings{LevinPierce05,
  title = {Type-based Optimization for Regular Patterns},
  author = {Michael Y. Levin and Benjamin C. Pierce},
  booktitle = {Database Programming Languages (DBPL)},
  year = 2005,
  month = aug,
  bcp = {Yes},
  plclub = {Yes},
  keys = {xtatic},
  tr = {http://www.cis.upenn.edu/~bcpierce/papers/tb-TR.pdf}
}

@inproceedings{Levin03,
  author = {Michael Y. Levin},
  title = {Compiling Regular Patterns},
  booktitle = {{ACM} {SIGPLAN} {I}nternational {C}onference on {F}unctional {P}rogramming
                    ({ICFP}), Uppsala, Sweden},
  year = {2003},
  conf = {http://www.cis.upenn.edu/~milevin/patcompile_short.ps},
  keys = {xtatic}
}