 | 2009 |
| 18 |  | Haruo Hosoya,
Alain Frisch,
Giuseppe Castagna:
Parametric polymorphism for XML.
ACM Trans. Program. Lang. Syst. 32(1): (2009) |
| 2008 |
| 17 |  | Alain Frisch,
Giuseppe Castagna,
Véronique Benzaken:
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.
J. ACM 55(4): (2008) |
| 2007 |
| 16 |  | Alain Frisch,
Haruo Hosoya:
Towards Practical Typechecking for Macro Tree Transducers.
DBPL 2007: 246-260 |
| 15 |  | Alain Frisch,
Keisuke Nakano:
Streaming XML Transformation Using Term Rewriting.
PLAN-X 2007: 2-13 |
| 14 |  | Alain Frisch,
Haruo Hosoya:
Towards Practical Typechecking for Macro Tree Transducers
CoRR abs/cs/0701176: (2007) |
| 2006 |
| 13 |  | Alain Frisch:
OCaml + XDuce.
ICFP 2006: 192-200 |
| 12 |  | Alain Frisch:
OCaml + XDuce.
PLAN-X 2006: 36-48 |
| 11 |  | Alain Frisch:
OCamlDuce.
PLAN-X 2006: 89 |
| 2005 |
| 10 |  | Giuseppe Castagna,
Alain Frisch:
A Gentle Introduction to Semantic Subtyping.
ICALP 2005: 30-34 |
| 9 |  | Giuseppe Castagna,
Dario Colazzo,
Alain Frisch:
Error Mining for Regular Expression Patterns.
ICTCS 2005: 160-172 |
| 8 |  | Haruo Hosoya,
Alain Frisch,
Giuseppe Castagna:
Parametric polymorphism for XML.
POPL 2005: 50-62 |
| 7 |  | Giuseppe Castagna,
Alain Frisch:
A gentle introduction to semantic subtyping.
PPDP 2005: 198-199 |
| 2004 |
| 6 |  | Alain Frisch,
Luca Cardelli:
Greedy Regular Expression Matching.
ICALP 2004: 618-629 |
| 5 |  | Alain Frisch:
Regular Tree Language Recognition with Static Information.
IFIP TCS 2004: 661-674 |
| 2003 |
| 4 |  | Véronique Benzaken,
Giuseppe Castagna,
Alain Frisch:
CDuce: an XML-centric general-purpose language.
ICFP 2003: 51-63 |
| 3 |  | Véronique Benzaken,
Giuseppe Castagna,
Alain Frisch:
CDuce: an XML-centric general-purpose language.
SIGPLAN Notices 38(9): 51-63 (2003) |
| 2002 |
| 2 |  | Alain Frisch,
Giuseppe Castagna,
Véronique Benzaken:
Semantic Subtyping.
LICS 2002: 137-146 |
| 1 |  | Mariangiola Dezani-Ciancaglini,
Alain Frisch,
Elio Giovannetti,
Yoko Motohama:
The Relevance of Semantic Subtyping.
Electr. Notes Theor. Comput. Sci. 70(1): 88-105 (2002) |