Alain Frisch
发表
Damien Doligez,
Pierre Weis,
Alain Frisch,
2005
.
Damien Doligez,
Didier Rémy,
Zaynah Dargaye,
2006
.
Pierre Chambart,
Damien Doligez,
Yann Régis-Gianas,
2015
.
Semantic subtyping: Dealing set-theoretically with function, union, intersection, and negation types
Giuseppe Castagna,
Véronique Benzaken,
Alain Frisch,
2008,
JACM.
Damien Doligez,
Xavier Leroy,
Jeremy Yallop,
2015
.
Luca Cardelli,
Alain Frisch,
L. Cardelli,
2004,
ICALP.
Damien Doligez,
Didier Rémy,
Xavier Leroy,
2013
.
Giuseppe Castagna,
Alain Frisch,
G. Castagna,
2005,
ICALP.
Giuseppe Castagna,
Véronique Benzaken,
Alain Frisch,
2003,
ICFP '03.
Giuseppe Castagna,
Véronique Benzaken,
Alain Frisch,
2002,
Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Castagna,
Dario Colazzo,
Alain Frisch,
2005,
ICTCS.
Fritz Henglein,
Alain Frisch,
Jost Berthold,
2012,
FHPC '12.
Alain Frisch,
Alain Frisch,
2006,
ICFP '06.
E. Elsborg,
J. Lawall,
R. Glück,
2005
.
Mariangiola Dezani-Ciancaglini,
Yoko Motohama,
Elio Giovannetti,
2003,
ITRS.
Alain Frisch,
Haruo Hosoya,
H. Hosoya,
2007,
DBPL.