Skip to content

Free theorems involving type constructor classes: functional pearl.

Janis Voigtlnder

VenueAICFP
Year2009
ProceedingsICFP

Browse the full ICFP paper archive.