Functional Pearls: A Poor Man's Concurrency Monad (1999)

Cached

Download Links

by Koen Claessen
Citations:1 - 0 self

Active Bibliography

Mechanized Reasoning about Concurrent Functional Programs – Sava Mintchev, London Wm Js
Concurrent Programming in Haskell – Victor M. Gulias, Jose L. Freire - 1996
26 Gadgets: Lazy Functional Components for Graphical User Interfaces – Rob Noble, Colin Runciman - 1995
1 Modelling Deterministic Concurrent I/O – Malcolm Dowse
6 Explicit Message Passing for Concurrent Clean – Pascal R. Serrarens - 1998
18 Implicitly-threaded parallelism in Manticore – Matthew Fluet, Mike Rainey, John Reppy, Adam Shaw - 2008
A Flexible Semantic Framework for Effects – Ross Tate, Daan Leijen, Sorin Lerner
Functions, Frames, and Interactions -- completing a λ-calculus-based purely functional language with respect to programming-in-the-large and interactions with runtime environments – Claus Reinke - 1998
8 Haskell session types with (almost) no class – Riccardo Pucella, Jesse A. Tov - 2008
General Terms Languages, theory – unknown authors
Monads for Incremental Computing - Functional Pearl – Magnus Carlsson - 2002
13 Prolog's Control Constructs in a Functional . . . – Ralf Hinze
unknown title – unknown authors - 1997
2 Effective Meta-programming in Declarative Languages – Antony Francis Bowers - 1998
11 The UniForM Concurrency Toolkit and its Extensions to Concurrent Haskell – Einar W. Karlsen - 1997
6 Exploiting Purely Functional Programming to Obtain Bounded Resource Behaviour: the Hume Approach – Kevin Hammond - 2005
Information flow controls – Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazières
96 How to Declare an Imperative – Philip Wadler - 1995
89 Type Classes: An Exploration of the Design Space – Simon Peyton Jones, Mark Jones, Erik Meijer - 1997