High-level views on low-level representations.

Iavor S. Diatchki, Mark P. Jones, Rebekah Leslie

Browse the full ICFP paper archive.