Alain Frisch

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