Knowledge Base of
Publications,
Seminars,
& 
Math Library
PhD theses from the project are accessible at the NCSTRL web site.
Filter for: Eli Barzilay
10 results
Implementing Reflection in Nuprl
| cite »
by Eli Barzilay
2006
MetaPRL -- A Modular Logical Environment
| cite »
by Jason Hickey, Aleksey Nogin, Robert L. Constable, Brian Aydemir, Eli Barzilay, Lori Lorigo
2003
Practical Reflection in Nuprl
| cite »
by Eli Barzilay, Stuart F. Allen, Robert L. Constable
2003
Reflecting Higher-Order Abstract Syntax in Nuprl
| cite »
by Eli Barzilay, Stuart F. Allen
2002
Quotation and Reflection in Nuprl and Scheme
| cite »
by Eli Barzilay
2001
Reflection in First-Order Logic
by Eli Barzilay
February 12, 2001
Latest results about reflection (TENTATIVE)
by Eli Barzilay
November 20, 2000
Reflection Part II
by Eli Barzilay
April 03, 2000
Analysis of reflection in programming languages using Scheme as the main example
by Eli Barzilay
March 06, 2000
Practical Uses of Quotations, Macros and Reflection
by Eli Barzilay
April 05, 1999