Luca Cardelli Festschrift

Earlier this week Microsoft Research Cambridge organised a Festschrift for Luca Cardelli. The preface from the 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 scientific 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.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.


In academia, a Festschrift (German pronunciation: [ˈfɛstʃrɪft]; plural, Festschriften [ˈfɛstʃrɪftən]) is a book honoring a respected person, especially an academic, and presented during his or her lifetime.

Lest anyone else wonder briefly whether Luca has died, fallen ill, or become trapped in a mine. Forgive my ignorance.

Mobile Ambients

Luca Cardelli certainly deserves the attention.

I was just about to go back and reread some of his work on Mobile Ambients. Sad to see it's not part of this new book.

Is there a deep reason why

Is there a deep reason why programming language mavens are drawn to biology?

Conway's Law