From structures and functors to modules and units.

Scott Owens Matthew Flatt From structures and functors to modules and units. 87-98 2006 conf/icfp/2006 ICFP http://doi.acm.org/10.1145/1159803.1159815 db/conf/icfp/icfp2006.html#OwensF06