Making a faster Curry with extensional types.

Paul Downen, Zachary Sullivan, Zena M. Ariola, Simon Peyton Jones

Browse the full HASKELL paper archive.