Proving Correctness via Free Theorems The Case of the destroy build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden - Programming language comparisons - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2016-08-01 05:50:11 Software engineering Computer programming Declarative programming Higher-order functions Programming language comparisons Recursion Fold FO Haskell features Standard ML		Proving Correctness via Free Theorems The Case of the destroy/build-Rule Janis Voigtl¨ander Technische Universit¨ at Dresden Add to Reading List Source URL: www.janis-voigtlaender.eu Download Document from Source Website File Size: 122,81 KB Share Document on Facebook