I am greatly saddened to hear this. I came to know about him through his work on fexprs (he was one of the world's leading experts on fexprs due to his work on

I am greatly saddened to hear this. I came to know about him through his work on fexprs (he was one of the world's leading experts on fexprs due to his work on Kernel). His insights on language design, his general willingness to share his own learning process, and his seemingly unquenchable curiosity will be missed. Of interest to those here might be his many posts on LtU [0]. 0. http://lambda-the-ultimate.org/user/7549/track http://lambda-the-ultimate.org/user/7549/track