Uncurrying for Termination.

Nao Hirokawa, Aart Middeldorp, Harald Zankl

Browse the full LPAR paper archive.