Revision history of "File:TFPIE2013 Structural Induction Principles.pdf"

From tfpie

Diff selection: Mark the radio boxes of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

  • (cur | prev) 00:35, 13 May 2013Peter88 (talk | contribs). . (1,001 bytes) (+1,001). . (User defined recursive types are a fundamental feature of modern functional programming languages like Haskell and the ML family of languages. Properties of programs defined by recursion on the structure of a recursive types are generally proved by struct)