Analysis of reflection in programming
languages
using Scheme as the main example
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.
Papers
|
