Lambda the Ultimate

Student at McGill University (M.Sc in progress)

far-fetched isomorphisms (such as Curry-Howard)
recreating the wheel using different primitives (e.g. http://www.mpi-sws.mpg.de/~rossberg/mixml)
aspect-oriented programming