Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for XDuce with no syntactic query expansion in all metadata.

Publication years (Num. hits)
2000-2006 (17) 2007-2008 (3)
Publication types (Num. hits)
article(2) inproceedings(18)
Venues (Conferences, Journals, ...)
ICFP(2) PLAN-X(2) POPL(2) ACM Trans. Internet Techn.(1) ACM Trans. Program. Lang. Syst...(1) CC(1) CIKM(1) ECOOP(1) FLOPS(1) FSTTCS(1) ICDT(1) ICTAC(1) IFL(1) ML(1) SIGMOD Conference(1) WebDB (Informal Proceedings)(1) More (+10 of total 17)
Authors
Benjamin C. Pierce(5) Haruo Hosoya(4) Jérôme Siméon(4) Philip Wadler(4) Alain Frisch(2) Jerome Vouillon(2) Kenny Zhuo Ming Lu(2) Martin Sulzmann(2) Mary F. Fernández(2) Vladimir Gapeyev(2) Alan Schmitt(1) Carlo Sartiani(1) Dario Colazzo(1) Elke A. Rundensteiner(1) Giorgio Ghelli(1) Haiming Chen(1) More (+10 of total 22)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 26 occurrences of 18 keywords
Results
Found 20 publication records. Showing 20 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
125Vladimir Gapeyev, Benjamin C. Pierce Regular Object Types. Search on Bibsonomy ECOOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
114Alain Frisch OCaml + XDuce. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF CDuce, XDuce, regular expression types, XML, type inference, OCaml
98Haruo Hosoya, Benjamin C. Pierce XDuce: A statically typed XML processing language. Search on Bibsonomy ACM Trans. Internet Techn. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML, Type systems, subtyping, tree automata
63Li Chen 0016, Elke A. Rundensteiner, Song Wang 0001 XCache: a semantic caching system for XML queries. Search on Bibsonomy SIGMOD Conference The full citation details ... 2002 DBLP  DOI  BibTeX  RDF XML
42Shinya Kawanaka, Haruo Hosoya biXid: a bidirectional transformation language for XML. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF XML, tree automata
42Mary F. Fernández, Jérôme Siméon, Philip Wadler An Algebra for XML Query. Search on Bibsonomy FSTTCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Jerome Vouillon Polymorphism and XDuce-style patterns. Search on Bibsonomy PLAN-X The full citation details ... 2006 DBLP  BibTeX  RDF
36Alain Frisch OCaml + XDuce. Search on Bibsonomy PLAN-X The full citation details ... 2006 DBLP  BibTeX  RDF
36Martin Sulzmann, Kenny Zhuo Ming Lu A Type-Safe Embedding of XDuce into ML. Search on Bibsonomy ML The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
36Haruo Hosoya, Benjamin C. Pierce XDuce: A Typed XML Processing Language (Preliminary Report). Search on Bibsonomy WebDB (Selected Papers) The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
36Haruo Hosoya, Benjamin C. Pierce XDuce: A Typed XML Processing Language (Preliminary Report). Search on Bibsonomy WebDB (Informal Proceedings) The full citation details ... 2000 DBLP  BibTeX  RDF
21Giorgio Ghelli, Dario Colazzo, Carlo Sartiani Linear time membership in a class of regular expressions with interleaving and counting. Search on Bibsonomy CIKM The full citation details ... 2008 DBLP  DOI  BibTeX  RDF xml, regular expressions, xml schema
21Haiming Chen, Lei Chen Inclusion Test Algorithms for One-Unambiguous Regular Expressions. Search on Bibsonomy ICTAC The full citation details ... 2008 DBLP  DOI  BibTeX  RDF One-unambiguous regular expression, algorithm, inclusion
21Martin Sulzmann, Kenny Zhuo Ming Lu XHaskell - Adding Regular Expression Types to Haskell. Search on Bibsonomy IFL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Stijn Vansummeren Type inference for unique pattern matching. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF disambiguation policies, XML, programming languages, Pattern matching
21Jerome Vouillon Polymorphic regular tree types and patterns. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF polymorphism, subtyping, tree automata
21Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce, Alan Schmitt XML Goes Native: Run-Time Representations for Xtatic. Search on Bibsonomy CC The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
21Jérôme Siméon, Philip Wadler The essence of XML. Search on Bibsonomy POPL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF XML, validation, XPath, XQuery, XML schema
21Jérôme Siméon, Philip Wadler The Essence of XML (Preliminary Version). Search on Bibsonomy FLOPS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21Mary F. Fernández, Jérôme Siméon, Philip Wadler A Semi-monad for Semi-structured Data. Search on Bibsonomy ICDT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #20 of 20 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license