First Page | Document Content | |
---|---|---|
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 WebsiteFile Size: 65,75 KBShare Document on Facebook |
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, UKDocID: 1xVgx - View Document | |
SWiM: Secure Wildcard Pattern Matching From OT Extension Vladimir Kolesnikov1? , Mike Rosulek2 , and Ni Trieu2 1 2DocID: 1vgge - View Document | |
Regulatory sequence analysis Matrix-based pattern matching Jacques van Helden Aix-Marseille Université, FranceDocID: 1v6Pd - View Document | |
LPEG: a new approach to pattern matching Roberto Ierusalimschy PEG: Parsing Expression GrammarsDocID: 1utvV - View Document | |
Analysis of Fundamental Exact and Inexact Pattern Matching Algorithms Jonathan Lee ID#DocID: 1uq9c - View Document |