Skip to content

Pattern minimization problems over recursive data types.

Alexander Krauss

VenueAICFP
Year2008
ProceedingsICFP

Browse the full ICFP paper archive.