Eli Barzilay
发表
Matthias Felleisen,
Stephen Chang,
John Clements,
2011,
ArXiv.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2018,
Commun. ACM.
Xin Yu,
Christoph Kreitz,
Jason Hickey,
2003,
TPHOLs.
Matthias Felleisen,
Stephen Chang,
John Clements,
2011,
IFL.
Eli Barzilay,
Dmitry Orlovsky,
2004
.
Eli Barzilay,
2001
.
Eduardo de Leon,
Eli Barzilay,
Mark Hamilton,
2018,
PAPIs.
Eli Barzilay,
Eli Barzilay,
2006
.
Anand Raman,
Eli Barzilay,
Mark Hamilton,
2018,
ArXiv.
Eli Barzilay,
Robert L. Constable,
Eli Barzilay,
2005
.
Eli Barzilay,
Eli Barzilay,
2006
.
Robert Bruce Findler,
Matthew Flatt,
Eli Barzilay,
2009,
ICFP.
Sam Tobin-Hochstadt,
Matthias Felleisen,
Robert Bruce Findler,
2015,
SNAPL.
Mira Balaban,
Michael Elhadad,
Eli Barzilay,
2002,
IEEE Trans. Syst. Man Cybern. Part A.
Matthew Flatt,
Ryan Culpepper,
Eli Barzilay,
2011
.
John Clements,
Eli Barzilay,
John Clements,
2005,
FDPE '05.
Eli Barzilay,
Eli Barzilay,
2006
.
Eli Barzilay,
S. Allen,
Eli Barzilay,
2002
.
Eli Barzilay,
Robert Constable,
Stuart Allen,
.