Names for free: polymorphic views of names and binders.

Jean-Philippe Bernardy, Nicolas Pouillard

Browse the full HASKELL paper archive.