Skip to content

A type-preserving compiler in Haskell.

Louis-Julien Guillemette, Stefan Monnier

VenueAICFP
Year2008
ProceedingsICFP

Browse the full ICFP paper archive.