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

First Page		Document Content
Date: 2015-07-09 09:26:19		Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Type-Preserving Renaming and Substitution Add to Reading List Source URL: personal.cis.strath.ac.uk Download Document from Source Website File Size: 137,91 KB Share Document on Facebook