Alain Frisch

According to our database, Alain Frisch authored at least 14 papers between 2002 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

Financial software on GPUs: between Haskell and Fortran.

Cosmin E. Oancea, Christian Andreetta, Jost Berthold, Alain Frisch, Fritz Henglein

Proceedings of the 1st ACM SIGPLAN workshop on Functional high-performance computing, 2012

2009

Parametric polymorphism for XML.

Haruo Hosoya, Alain Frisch, Giuseppe Castagna

ACM Trans. Program. Lang. Syst., 2009

2008

Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types.

Alain Frisch, Giuseppe Castagna, Véronique Benzaken

J. ACM, 2008

2007

Streaming XML Transformation Using Term Rewriting.

Alain Frisch, Keisuke Nakano

Proceedings of the PLAN-X 2007, 2007

Towards Practical Typechecking for Macro Tree Transducers.

Alain Frisch, Haruo Hosoya

Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006

OCamlDuce.

Alain Frisch

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

OCaml + XDuce.

Alain Frisch

Proceedings of the PLAN-X 2006 Informal Proceedings, 2006

2005

Error Mining for Regular Expression Patterns.

Giuseppe Castagna, Dario Colazzo, Alain Frisch

Proceedings of the Theoretical Computer Science, 9th Italian Conference, 2005

A Gentle Introduction to Semantic Subtyping.

Giuseppe Castagna, Alain Frisch

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

2004

Regular Tree Language Recognition with Static Information.

Alain Frisch

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Greedy Regular Expression Matching.

Alain Frisch, Luca Cardelli

Proceedings of the Automata, Languages and Programming: 31st International Colloquium, 2004

2003

CDuce: an XML-centric general-purpose language.

Véronique Benzaken, Giuseppe Castagna, Alain Frisch

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

The Relevance of Semantic Subtyping.

Mariangiola Dezani-Ciancaglini, Alain Frisch, Elio Giovannetti, Yoko Motohama

Proceedings of the Intersection Types and Related Systems, 2002

Semantic Subtyping.

Alain Frisch, Giuseppe Castagna, Véronique Benzaken

Proceedings of the 17th IEEE Symposium on Logic in Computer Science (LICS 2002), 2002