[qewrffewqwfqew]

A little disappointing to see the links to his favourite paper going to paywalls. Here are arxiv/free links:

39 page JFP version:

http://arxiv.org/pdf/1107.3539v1.pdf

12 pager from ICFP:

http://arxiv.org/pdf/1007.4446.pdf

8 page CACM highlight:

http://www.ccs.neu.edu/home/dvanhorn/pubs/vanhorn-might-cacm...