Luca Cardelli Festschrift

Earlier this week Microsoft Research Cambridge held a Festschrift for Luca Cardelli. The preface from the associated book:

Luca Cardelli has made exceptional contributions to the world of programming languages and beyond. Throughout his career, he has re-invented himself every decade or so, while continuing to make true innovations. His achievements span many areas: software; language design, including experimental languages; programming language foundations; and the interaction of programming languages and biology. These achievements form the basis of his lasting scientic leadership and his wide impact. ... Luca is always asking "what is new", and is always looking to the future. Therefore, we have asked authors to produce short pieces that would indicate where they are today and where they are going. Some of the resulting pieces are short scientific papers, or abridged versions of longer papers; others are less technical, with thoughts on the past and ideas for the future. We hope that they will all interest Luca.

Hopefully the videos will be posted soon.