bcp.bib

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

@incollection{EncyOfDBs09,
  author = {V\'{e}ronique Benzaken and Giuseppe Castagna and Haruo
                  Hosoya and Benjamin C. Pierce and Stijn Vansummeren},
  title = {{XML}  Typechecking},
  booktitle = {Encyclopedia of Database Systems},
  publisher = {Springer},
  year = {2009},
  plclub = {Yes},
  bcp = {Yes},
  keys = {xduce}
}

@incollection{BunemanPierce99,
  author = {Peter Buneman and Benjamin Pierce},
  booktitle = {Internet Programming Languages},
  title = {Union Types for Semistructured Data},
  year = {1998},
  month = sep,
  publisher = {Springer-Verlag},
  note = {Proceedings of the International Database Programming
                  Languages Workshop. LNCS 1686},
  plclub = {Yes},
  bcp = {Yes},
  keys = {xduce},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/utssd.ps}
}

@inproceedings{HosoyaVouillonPierce2000ICFP,
  author = {Haruo Hosoya and J\'er\^ome Vouillon and Benjamin C.
                  Pierce},
  title = {Regular Expression Types for {XML}},
  booktitle = {International Conference on Functional
                  Programming (ICFP)},
  year = {2000},
  keys = {xduce},
  conf = {http://www.cis.upenn.edu/~bcpierce/regsub.ps}
}

@inproceedings{HosoyaPierce2000,
  author = {Haruo Hosoya and Benjamin C. Pierce},
  title = {{XDuce}: A Typed {XML} Processing Language (Preliminary
                  Report)},
  booktitle = {International Workshop on the Web and Databases (WebDB)},
  editor = {Dan Suciu and Gottfried Vossen},
  month = may,
  year = {2000},
  note = {Reprinted in {\em The Web and Databases, Selected Papers},
                  Springer LNCS volume 1997, 2001},
  keys = {xduce},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/xduce-prelim.ps},
  plclub = {Yes},
  bcp = {Yes}
}

@inproceedings{HosoyaPierce2001,
  author = {Haruo Hosoya and Benjamin C. Pierce},
  title = {Regular Expression Pattern Matching},
  booktitle = {{ACM} {SIGPLAN--SIGACT} {S}ymposium on {P}rinciples of {P}rogramming
                     {L}anguages ({POPL}), London, England},
  year = {2001},
  plclub = {Yes},
  bcp = {Yes},
  checked = {Yes},
  note = {Full version in {\em Journal of
                  Functional Programming}, 13(6), Nov. 2003, pp. 961--1004},
  full = {http://www.cis.upenn.edu/~bcpierce/papers/tapat.ps},
  keys = {xduce}
}

@article{HosoyaVouillonPierce2000,
  author = {Haruo Hosoya and J\'er\^ome Vouillon and Benjamin C.
                  Pierce},
  title = {Regular Expression Types for {XML}},
  journal = {ACM Transactions on Programming Languages and Systems
                  (TOPLAS)},
  year = {2005},
  month = jan,
  volume = 27,
  number = 1,
  pages = {46--90},
  note = {Preliminary version in ICFP 2000},
  plclub = {Yes},
  bcp = {Yes},
  checked = {Yes},
  keys = {xduce},
  conf = {http://www.cis.upenn.edu/~bcpierce/papers/regsub.ps},
  full = {http://www.cis.upenn.edu/~bcpierce/papers/regsub-toplas.pdf}
}

@article{HosoyaPierce2002,
  author = {Haruo Hosoya and Benjamin C. Pierce},
  title = {{XDuce}: A Statically Typed {XML} Processing Language},
  journal = {ACM Transactions on Internet Technology},
  year = {2003},
  volume = 3,
  number = 2,
  month = may,
  pages = {117--148},
  checked = {Yes},
  official = {http://doi.acm.org/10.1145/767193.767195},
  plclub = {Yes},
  bcp = {Yes},
  keys = {xduce}
}