From structures and functors to modules and units.

Scott Owens, Matthew Flatt

Browse the full ICFP paper archive.