<--- Back to Details
First PageDocument Content
Computer programming / Adjoint functors / Pattern matching / Monad / Type theory / Continuation / Strong monad / Type class / Call-with-current-continuation / Software engineering / Declarative programming / Functional programming
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

Similar Documents

Call with Current Continuation Patterns Darrell Ferguson Dwight Deugo  

Call with Current Continuation Patterns Darrell Ferguson Dwight Deugo 

DocID: 1uEJe - View Document

What I like about CHICKEN (and what not) (A personal view) Why CHICKEN?  I needed a simple, portable Scheme system

What I like about CHICKEN (and what not) (A personal view) Why CHICKEN? I needed a simple, portable Scheme system

DocID: 1taql - View Document

Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers  Northeastern University

Pushdown Flow Analysis of First-Class Control Dimitrios Vardoulakis Olin Shivers Northeastern University

DocID: 1qVYN - View Document

MemoryUsage(Two-StateLRUvsNativeLRU).eps

MemoryUsage(Two-StateLRUvsNativeLRU).eps

DocID: 1kejC - View Document

BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations  BRICS Basic Research in Computer Science

BRICS RSBiernacki et al.: On the Dynamic Extent of Delimited Continuations BRICS Basic Research in Computer Science

DocID: 1gsAC - View Document