biblio.bib

File /home/pps/beppe/LOCAL/PAPERI/EDS_ENTRY/typecheck/biblio.bib last modified on Thu Jan 17 11:08:10 2008.
@article{DBLP:journals/toplas/HosoyaVP05,
  author    = {Haruo Hosoya and
               Jerome Vouillon and
               Benjamin C. Pierce},
  title     = {Regular expression types for {XML}.},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {27},
  number    = {1},
  year      = {2005},
  pages     = {46-90},
  ee        = {http://doi.acm.org/10.1145/1053468.1053470},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}




@ARTICLE{jacm08,
	AUTHOR = {Alain Frisch and Giuseppe Castagna and V\'eronique Benzaken},
	TITLE = {Semantic subtyping: dealing set-theoretically with 
  function, union, intersection, and negation types},
	JOURNAL = {The Journal of ACM},
	YEAR = {2008},
	NOTE = {To appear}
}

@Book{pierce:types-proglang,
  author = 	 {Benjamin C. Pierce},
  ALTeditor = 	 {},
  title = 	 {Types and Programming Languages},
  publisher = 	 {MIT Press},
  year = 	 {2002},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}


@inproceedings{DBLP:conf/lics/FrischCB02,
  author    = {Alain Frisch and
               Giuseppe Castagna and
               V{\'e}ronique Benzaken},
  title     = {Semantic Subtyping.},
  booktitle = {LICS},
  year      = {2002},
  pages     = {137-146},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/LICS.2002.1029823},
  crossref  = {DBLP:conf/lics/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/lics/2002,
  title     = {17th IEEE Symposium on Logic in Computer Science (LICS 2002),
               22-25 July 2002, Copenhagen, Denmark, Proceedings},
  booktitle = {LICS},
  publisher = {IEEE Computer Society},
  year      = {2002},
  isbn      = {0-7695-1483-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/tocl/AlonMNSV03,
  author    = {Noga Alon and
               Tova Milo and
               Frank Neven and
               Dan Suciu and
               Victor Vianu},
  title     = {Typechecking XML views of relational databases.},
  journal   = {ACM Trans. Comput. Log.},
  volume    = {4},
  number    = {3},
  year      = {2003},
  pages     = {315-354},
  ee        = {http://doi.acm.org/10.1145/772062.772065},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jcss/MiloSV03,
  author    = {Tova Milo and
               Dan Suciu and
               Victor Vianu},
  title     = {Typechecking for {XML} transformers},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {66},
  number    = {1},
  year      = {2003},
  pages     = {66-97},
  ee        = {http://dx.doi.org/10.1016/S0022-0000(02)00030-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{vansummeren:welldef-trees,
 author = {Stijn Vansummeren},
 title = {On deciding well-definedness for query languages on trees},
 journal = {J. ACM},
 volume = {54},
 number = {4},
 year = {2007},
 issn = {0004-5411},
 pages = {19},
 doi = {http://doi.acm.org/10.1145/1255443.1255447},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }

@article{DBLP:journals/jcss/MartensN07,
  author    = {Wim Martens and
               Frank Neven},
  title     = {Frontiers of tractability for typechecking simple XML transformations},
  journal   = {J. Comput. Syst. Sci.},
  volume    = {73},
  number    = {3},
  year      = {2007},
  pages     = {362-390},
  ee        = {http://dx.doi.org/10.1016/j.jcss.2006.10.005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

                  
@article{DBLP:journals/sigmod/Suciu02,
  author    = {Dan Suciu},
  title     = {The {XML} Typechecking Problem},
  journal   = {SIGMOD Record},
  volume    = {31},
  number    = {1},
  year      = {2002},
  pages     = {89-96},
  ee        = {http://doi.acm.org/10.1145/507338.507360, http://www.acm.org/sigmod/record/issues/0203/dansuciu-lipkin.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}