Edinburgh

I’m having a great time in Edinburgh so far! I’m currently at Heriot-Watt University for the International Summer School on Advances in Programming Languages, learning some interesting things but more importantly meeting interesting people. I’m also looking forward to meeting yet more interesting people at Hac7 and at ICFP (if you’re reading this and plan to be at either, then you are one of them).

Here are a few pictures I took while sight-seeing on my first day; some pictures of the summer school itself will follow soon.

More from Hac φ

Yet more pictures from Hac φ!

This afternoon we were treated to talks by Dimitry Golubovsky (typed JavaScript generation), Edward Kmett (monoids library and monoidal parsing), Gershom Bazerman (DSL and quasiquoting for JavaScript generation), and Anton van Straaten (Gitit as an application framework).

Hac φ day 2

A few pictures from Day 2 of Hac φ: