Z. M. Ariola
发表
Matthias Felleisen,
Zena M. Ariola,
M. Felleisen,
1995,
POPL '95.
Z. M. Ariola,
S. Blom,
2005
.
Z. M. Ariola,
S. Blom,
2005
.
Z. M. Ariola,
Hugo Herbelin,
A. Saurin,
2011
.
Z. M. Ariola,
J. Klop,
1996
.
Z. M. Ariola,
Philip Johnson-Freyd,
P. Downen,
2015
.
Z. M. Ariola,
ProofsAmr Sabry,
2007
.
Z. M. Ariola,
A. Sabry,
Hugo Herbelin,
2005
.
Z. M. Ariola,
2011
.
Z. M. Ariola,
S. Antoy,
Z. Ariola,
1997
.
Zena M. Ariola,
Arvind,
Z. M. Ariola,
1991,
PEPM '91.
Z. M. Ariola,
J. Klop,
D. Plump,
2019
.
Zena M. Ariola,
Z. M. Ariola,
1993,
Applicable Algebra in Engineering, Communication and Computing.
Arvind,
Z. M. Ariola,
1991,
PEPM '91.
Zena M. Ariola,
Silvia Ghilezan,
Paul Downen,
2019,
Fundam. Informaticae.
Alexis Saurin,
Hugo Herbelin,
Zena M. Ariola,
2011,
TLCA.
Amr Sabry,
Hugo Herbelin,
Zena M. Ariola,
2009,
High. Order Symb. Comput..
Amr Sabry,
Zena M. Ariola,
Aaron Bohannon,
2009,
TOPL.
Amr Sabry,
Hugo Herbelin,
Zena M. Ariola,
2007,
High. Order Symb. Comput..
Hugo Herbelin,
Zena M. Ariola,
Z. M. Ariola,
2003,
ICALP.
Zena M. Ariola,
William D. Clinger,
A. V. S. Sastry,
1993,
FPCA '93.
Zena M. Ariola,
Paul Downen,
Zachary J. Sullivan,
2021,
PEPM@POPL.
Stefan Blom,
Zena M. Ariola,
Z. M. Ariola,
2002,
Ann. Pure Appl. Log..
Amr Sabry,
Zena M. Ariola,
Z. M. Ariola,
1998,
POPL '98.
Zena M. Ariola,
Jan Willem Klop,
Z. M. Ariola,
1997,
Inf. Comput..
Stefan Blom,
Zena M. Ariola,
Z. M. Ariola,
1997,
TACS.
Zena M. Ariola,
Sergio Antoy,
Z. M. Ariola,
1997,
PLILP.
Matthias Felleisen,
Zena M. Ariola,
M. Felleisen,
1997,
Journal of Functional Programming.
Zena M. Ariola,
Jan Willem Klop,
Z. M. Ariola,
1994,
Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Zena M. Ariola,
Arvind,
Z. M. Ariola,
1991,
LCPC.
Zena M. Ariola,
Paul Downen,
Z. M. Ariola,
2018,
Journal of Functional Programming.
Zena M. Ariola,
Jan Willem Klop,
Z. M. Ariola,
1996,
Fundam. Informaticae.
Simon L. Peyton Jones,
Zena M. Ariola,
Luke Maurer,
2017,
PLDI.
Zena M. Ariola,
Jan Willem Klop,
Detlef Plump,
2000,
Inf. Comput..
Evan Tick,
Zena M. Ariola,
Barton C. Massey,
1996,
New Generation Computing.
Evan Tick,
Zena M. Ariola,
Barton C. Massey,
1994,
ICLP Workshop: Integration of Declarative Paradigms.
Zena M. Ariola,
Paul Downen,
Z. M. Ariola,
2019,
Log. Methods Comput. Sci..
Simon L. Peyton Jones,
Zena M. Ariola,
Luke Maurer,
2016,
ICFP.
Zena M. Ariola,
Paul Downen,
Z. M. Ariola,
2014,
J. Funct. Program..
Amr Sabry,
Hugo Herbelin,
Zena M. Ariola,
2004,
ICFP '04.
Zena M. Ariola,
Geoffrey C. Hulette,
Philip Johnson-Freyd,
2016,
FMICS-AVoCS.