The Scenic Route to Deforestation - An Exercise in Applying Parametricity in Curry.

Vincent Robinson, Steven Libby

Browse the full PADL paper archive.