 | 2008 |
|---|
| 16 |       | 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 |
|---|
| 15 | | Alain Frisch,
Haruo Hosoya:
Towards Practical Typechecking for Macro Tree Transducers.
DBPL 2007: 246-260 |
| 14 | | Alain Frisch,
Keisuke Nakano:
Streaming XML Transformation Using Term Rewriting.
PLAN-X 2007: 2-13 |
| 13 | | Alain Frisch,
Haruo Hosoya:
Towards Practical Typechecking for Macro Tree Transducers
CoRR abs/cs/0701176: (2007) |
| 2006 |
|---|
| 12 | | Alain Frisch:
OCaml + XDuce.
ICFP 2006: 192-200 |
| 11 |  | Alain Frisch:
OCaml + XDuce.
PLAN-X 2006: 36-48 |
| 10 | | Alain Frisch:
OCamlDuce.
PLAN-X 2006: 89 |
| 2005 |
|---|
| 9 | | Giuseppe Castagna,
Alain Frisch:
A Gentle Introduction to Semantic Subtyping.
ICALP 2005: 30-34 |
| 8 | | Giuseppe Castagna,
Dario Colazzo,
Alain Frisch:
Error Mining for Regular Expression Patterns.
ICTCS 2005: 160-172 |
| 7 | | Haruo Hosoya,
Alain Frisch,
Giuseppe Castagna:
Parametric polymorphism for XML.
POPL 2005: 50-62 |
| 6 | | Giuseppe Castagna,
Alain Frisch:
A gentle introduction to semantic subtyping.
PPDP 2005: 198-199 |
| 2004 |
|---|
| 5 | | Alain Frisch,
Luca Cardelli:
Greedy Regular Expression Matching.
ICALP 2004: 618-629 |
| 4 | | Alain Frisch:
Regular Tree Language Recognition with Static Information.
IFIP TCS 2004: 661-674 |
| 2003 |
|---|
| 3 | | Véronique Benzaken,
Giuseppe Castagna,
Alain Frisch:
CDuce: an XML-centric general-purpose language.
ICFP 2003: 51-63 |
| 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): (2002) |
