![](https://www.pdfsearch.io/img/ca9d3debb2ea9024f4a796906069f0e0.jpg) Date: 2015-07-09 09:26:19
| | Under consideration for publication in J. Functional Programming 1 FUNCTIONAL PEARL Type-Preserving Renaming and SubstitutionAdd to Reading ListSource URL: personal.cis.strath.ac.ukDownload Document from Source Website File Size: 137,91 KBShare Document on Facebook
|