Date: 2013-10-12 04:58:09Computer programming Software engineering Declarative programming Recursion Functional programming Computability theory Theoretical computer science Programming paradigms Algebraic data type Fold Pattern matching Conditional | | Unfailing Haskell: A Static Checker for Pattern Matching Neil Mitchell and Colin Runciman http://www.cs.york.ac.uk/∼ndm , http://www.cs.york.ac.uk/∼colin University of York, UKAdd to Reading ListSource URL: community.haskell.orgDownload Document from Source Website File Size: 65,75 KBShare Document on Facebook
|