First-class isomorphic specialization by staged evaluation.

Alexander Slesarenko, Alexander Filippov, Alexey Romanov

Browse the full ICFP paper archive.