(define (partial-evaluator program)
(let ([t (thread (lambda () (eval program)))])
Wednesday, September 5, 2007
My friends Jacob Matthews and Dave Herman are working on a paper about a technique for compiler optimization. The following technique for partial evaluation came up last night while I was talking about it with our friend Ryan Culpepper. Ryan seems to think this wouldn't get excepted to POPL for some reason. Some silliness about needing to get a value back.