From algebra to abstract machine: a verified generic construction.

Carlos Tom Cortias, Wouter Swierstra

Browse the full ICFP paper archive.