Practical normalization by evaluation for EDSLs.

Nachiappan Valliappan, Alejandro Russo, Sam Lindley

Browse the full HASKELL paper archive.