C.: A supercompiler for core Haskell (2008)

by N Mitchell, Runciman
Venue:IFL 2007. LNCS