Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan

First Page		Document Content
Date: 2005-07-13 17:03:59 Computer programming Adjoint functors Pattern matching Monad Type theory Continuation Strong monad Type class Call-with-current-continuation Software engineering Declarative programming Functional programming		Backtracking, Interleaving, and Terminating Monad Transformers (Functional Pearl) Oleg Kiselyov Chung-chieh Shan Add to Reading List Source URL: okmij.org Download Document from Source Website File Size: 185,48 KB Share 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, UK DocID: 1xVgx - View Document
	SWiM: Secure Wildcard Pattern Matching From OT Extension Vladimir Kolesnikov1? , Mike Rosulek2 , and Ni Trieu2 1 2 DocID: 1vgge - View Document
	Regulatory sequence analysis Matrix-based pattern matching Jacques van Helden Aix-Marseille Université, France DocID: 1v6Pd - View Document
	LPEG: a new approach to pattern matching Roberto Ierusalimschy PEG: Parsing Expression Grammars DocID: 1utvV - View Document
	Analysis of Fundamental Exact and Inexact Pattern Matching Algorithms Jonathan Lee ID# DocID: 1uq9c - View Document