We had a lively discussion at the Seminar Last week following Chung-chieh Shan's talk.
Slides from the talk are available at:
http://www.nuprl.org/PRLSeminar/PRLSeminar2011/Chung-chiehShan-FinallyTaglessPartiallyEevaluated.pdf
Coming up this Friday (Dec. 9) will be a discussion of the Nuprl Evaluator.