Luca Cardelli: Geek of the Week

Luca Cardelli is probably best known for Polyphonic C# and Biocomputing, but he has designed a number of experimental languages...