Next up is Craig Ramsay, talking about functional hardware and the Heron architecture for lazy functional languages.

(Feat. The GHC-generated assembly code for x + y + z!)