Alain Frisch

Publication Activity (10 Years)

Years Active: 2002-2012
Publications (10 Years): 0

Top Topics

Functional Programming

Hardware Design

Project Management

Software Platform

Top Venues

Publications

Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein
Financial software on GPUs: between Haskell and Fortran. FHPC@ICFP (2012)
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
Parametric polymorphism for XML. ACM Trans. Program. Lang. Syst. 32 (1) (2009)
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types. J. ACM 55 (4) (2008)
Alain Frisch, Haruo Hosoya
Towards Practical Typechecking for Macro Tree Transducers CoRR (2007)
Alain Frisch, Haruo Hosoya
Towards Practical Typechecking for Macro Tree Transducers. DBPL (2007)
Alain Frisch, Keisuke Nakano
Streaming XML Transformation Using Term Rewriting. PLAN-X (2007)
Alain Frisch
OCamlDuce. PLAN-X (2006)
Alain Frisch
OCaml + XDuce. PLAN-X (2006)
Alain Frisch
OCaml + XDuce. ICFP (2006)
Haruo Hosoya, Alain Frisch, Giuseppe Castagna
Parametric polymorphism for XML. POPL (2005)
Giuseppe Castagna, Dario Colazzo, Alain Frisch
Error Mining for Regular Expression Patterns. ICTCS (2005)
Giuseppe Castagna, Alain Frisch
A Gentle Introduction to Semantic Subtyping. ICALP (2005)
Giuseppe Castagna, Alain Frisch
A gentle introduction to semantic subtyping. PPDP (2005)
Alain Frisch
Regular Tree Language Recognition with Static Information. IFIP TCS (2004)
Alain Frisch, Luca Cardelli
Greedy Regular Expression Matching. ICALP (2004)
Véronique Benzaken, Giuseppe Castagna, Alain Frisch
CDuce: an XML-centric general-purpose language. ICFP (2003)
Giuseppe Castagna, Véronique Benzaken, Alain Frisch
CDuce: an XML-centric general-purpose language. SIGPLAN Notices (2003)
Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama
The Relevance of Semantic Subtyping. Electron. Notes Theor. Comput. Sci. 70 (1) (2002)
Alain Frisch, Giuseppe Castagna, Véronique Benzaken
Semantic Subtyping. LICS (2002)