Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Type-Preserving Renaming and Substitution - Substitution - Document - PDFSEARCH.IO

First Page	Meta Content
	Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Type-Preserving Renaming and Substitution Add to Reading List Document Date: 2015-07-09 09:26:19 Open Document File Size: 137,91 KB Share Result on Facebook

Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Type-Preserving Renaming and SubstitutionAdd to Reading List