scientific article; zbMATH DE number 5033842
From MaRDI portal
Publication:5472881
zbMath1098.68021MaRDI QIDQ5472881
Publication date: 19 June 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (7)
Fold–unfold lemmas for reasoning about recursive programs using the Coq proof assistant ⋮ Getting There and Back Again ⋮ Shortcut fusion rules for the derivation of circular and higher-order programs ⋮ A well-known representation of monoids and its application to the function ‘vector reverse’ ⋮ Verifying an Effect-Handler-Based Define-By-Run Reverse-Mode AD Library ⋮ Refunctionalization at work ⋮ Some Remarks on Type Systems for Course-of-value Recursion
This page was built for publication:
