Programmable Record Types in Haskell.

Arthur Jamet, Michael Vollmer

Browse the full GPCE paper archive.