Analysis of reflection in programming languages using Scheme as the main example
by Eli Barzilay
1999-2000
Comment
In this talk I will present my analysis of reflection in programming languages using Scheme as the main example and how we hope to borrow these ideas into Nuprl in contrast to what was attempted so far. This is what initiated more ideas recently that finally made reflection look like something we can finally get in Nuprl.