It was Conal Elliott's stuff, though it was a more recent paper - Compiling to Categories, if memory serves me.