Back to Results
First PageMeta Content
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

Document Date: 2016-08-01 05:50:11

Open Document

File Size: 122,81 KB

Share Result on Facebook
UPDATE