Representing monads Posted on February 1, 1994 | 1 min | 167 words | Andrzej Filinski[Read More]monads callcc shift reset
Guarded commands, nondeterminacy and formal derivation of programs Posted on August 1, 1975 | 1 min | 87 words | Edsger W. Dijkstra[Read More]pattern matching