Semantic Subtyping. - Alain Frisch; Giuseppe Castagna; Véronique Benzaken (LICS, 2002)

The Relevance of Semantic Subtyping. - Mariangiola Dezani-Ciancaglini; Alain Frisch; Elio Giovannetti; Yoko Motohama (ITRS, 2002)

CDuce: an XML-centric general-purpose language. - Véronique Benzaken; Giuseppe Castagna; Alain Frisch (ICFP, 2003)

Greedy Regular Expression Matching. - Alain Frisch; Luca Cardelli (ICALP, 2004)

Regular Tree Language Recognition with Static Information. - Alain Frisch (IFIP TCS, 2004)

A Gentle Introduction to Semantic Subtyping. - Giuseppe Castagna; Alain Frisch (ICALP, 2005)

Error Mining for Regular Expression Patterns. - Giuseppe Castagna; Dario Colazzo; Alain Frisch (ICTCS, 2005)

OCaml + XDuce. - Alain Frisch (PLAN-X, 2006)

OCamlDuce. - Alain Frisch (PLAN-X, 2006)

Towards Practical Typechecking for Macro Tree Transducers. - Alain Frisch; Haruo Hosoya (DBPL, 2007)

Streaming XML Transformation Using Term Rewriting. - Alain Frisch; Keisuke Nakano 001 (PLAN-X, 2007)

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. - Alain Frisch; Giuseppe Castagna; Véronique Benzaken (J. ACM, 2008)

Parametric polymorphism for XML. - Haruo Hosoya; Alain Frisch; Giuseppe Castagna (ACM Trans. Program. Lang. Syst., 2009)

Financial software on GPUs: between Haskell and Fortran. - Cosmin E. Oancea; Christian Andreetta; Jost Berthold; Alain Frisch; Fritz Henglein (FHPC@ICFP, 2012)