|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 18 occurrences of 14 keywords
|
|
|
|
|
Results
Found 18 publication records. Showing 18 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Haruo Hosoya, Alain Frisch, Giuseppe Castagna |
Parametric polymorphism for XML.  |
ACM Trans. Program. Lang. Syst.  |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. |
J. ACM |
2008 |
DBLP DOI BibTeX RDF |
negation types, Subtyping, higher-order functions, intersection types, union types |
| 1 | Alain Frisch, Haruo Hosoya |
Towards Practical Typechecking for Macro Tree Transducers |
CoRR |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alain Frisch, Haruo Hosoya |
Towards Practical Typechecking for Macro Tree Transducers. |
DBPL |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Frisch, Keisuke Nakano |
Streaming XML Transformation Using Term Rewriting. |
PLAN-X |
2007 |
DBLP BibTeX RDF |
|
| 1 | Alain Frisch |
OCaml + XDuce. |
ICFP |
2006 |
DBLP DOI BibTeX RDF |
CDuce, XDuce, regular expression types, XML, type inference, OCaml |
| 1 | Alain Frisch |
OCamlDuce. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Alain Frisch |
OCaml + XDuce. |
PLAN-X |
2006 |
DBLP BibTeX RDF |
|
| 1 | Giuseppe Castagna, Dario Colazzo, Alain Frisch |
Error Mining for Regular Expression Patterns. |
ICTCS |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Giuseppe Castagna, Alain Frisch |
A Gentle Introduction to Semantic Subtyping. |
ICALP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Haruo Hosoya, Alain Frisch, Giuseppe Castagna |
Parametric polymorphism for XML. |
POPL |
2005 |
DBLP DOI BibTeX RDF |
XML, polymorphism, subtyping, tree automata |
| 1 | Giuseppe Castagna, Alain Frisch |
A gentle introduction to semantic subtyping. |
PPDP |
2005 |
DBLP DOI BibTeX RDF |
negation types, typing, subtyping, intersection, union |
| 1 | Alain Frisch, Luca Cardelli |
Greedy Regular Expression Matching. |
ICALP |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Frisch |
Regular Tree Language Recognition with Static Information. |
IFIP TCS |
2004 |
DBLP BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
CDuce: an XML-centric general-purpose language. |
SIGPLAN Notices |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
CDuce: an XML-centric general-purpose language. |
ICFP |
2003 |
DBLP DOI BibTeX RDF |
CDuce, XML, type systems, XML-processing |
| 1 | Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama |
The Relevance of Semantic Subtyping. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alain Frisch, Giuseppe Castagna, Véronique Benzaken |
Semantic Subtyping. |
LICS |
2002 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #18 of 18 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")