This week the IFIP 2.16 Programming Language Design Working Group met at Imperial College in London.

Along with a whole bunch of talks about languages (including F#, Koka, Plaid, Ensō) and a bunch of more general talks about programming design more generally, I gave a short talk on Grace.

The slides are in the document list: most of this should be straightforward, but there are later slides briefly covering types, nesting, and pattern matching.