Re the Scheme work, I think you're thinking of Jonathan Rees. I agree that this vein of work deserved far more support. (I once stayed off the job market for s

Re the Scheme work, I think you're thinking of Jonathan Rees. I agree that this vein of work deserved far more support. (I once stayed off the job market for several months hoping for a DARPA contract in capability security to come through -- it didn't -- so I'm hardly unbiased.)