Archive for September, 2006

Haskell Workshop and ICFP

Friday, September 29th, 2006 by Wouter

I talked about some of the highs and lows of the Haskell Workshop and ICFP. In general, there were a lot of technical talks constituting small deltas over what we already know. Unfortunately, there were far too few talks were people had new ideas or lots of fun. Nonetheless, I feel confident in saying it was the best ICFP I ever went to, even if Graham doesn’t agree.

The mu^2 iso (15/9/06)

Friday, September 22nd, 2006 by Thorsten

I talked about the isomorphism \mu X.\mu Y.F X Y \cong \mu X.F X X which occurs frequently and Conor contributed some interesting insights how to apply it to get the spine representation by division. More detail to follow as soon as I find some time.