Partial Evaluation

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.

(define (partial-evaluator program)
  (let ([t (thread (lambda () (eval program)))])
    (sleep 1)
    (kill-thread t)))