Imperative streams—a monadic combinator library for synchronous programming

Authors:
Enno Scholz
Affiliations:
Daimler-Benz AG, Research and Technology 3, Alt-Moabit 96a, 10559 Berlin, Germany
Venue:
ICFP '98 Proceedings of the third ACM SIGPLAN international conference on Functional programming
Year:
1998

Citing 15
Cited 7

LUCID, the dataflow programming language

LUCID, the dataflow programming language
Message-based functional operating systems

Science of Computer Programming
Functional programming and communicating processes

Volume II: Parallel Languages on PARLE: Parallel Architectures and Languages Europe
SIGNAL: A declarative language for synchronous programming of real-time systems

Proc. of a conference on Functional programming languages and computer architecture
LUSTRE: a declarative language for real-time programming

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Functional programming and operating systems

The Computer Journal - Special issue on Lazy functional programming
Computational lambda-calculus and monads

Proceedings of the Fourth Annual Symposium on Logic in computer science
CML: A higher concurrent language

PLDI '91 Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
The essence of functional programming

POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The ESTEREL synchronous programming language: design, semantics, implementation

Science of Computer Programming
Xlib reference manual (3rd ed.)

Xlib reference manual (3rd ed.)
Imperative functional programming

POPL '93 Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Concurrent Haskell

POPL '96 Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Functional reactive animation

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
PIDGETS - Unifying Pictures and Widgets in a Constraint-Based Framework for Concurrent Functional GUI Programming

PLILP '96 Proceedings of the 8th International Symposium on Programming Languages: Implementations, Logics, and Programs

FranTk - a declarative GUI language for Haskell

ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
Declarative event-oriented programming

Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
wxHaskell: a portable and concise GUI library for haskell

Haskell '04 Proceedings of the 2004 ACM SIGPLAN workshop on Haskell
A history of Haskell: being lazy with class

Proceedings of the third ACM SIGPLAN conference on History of programming languages
Collecting hollywood's garbage: avoiding space-leaks in composite events

Proceedings of the 2010 international symposium on Memory management
Joinads: a retargetable control-flow construct for reactive, parallel and concurrent programming

PADL'11 Proceedings of the 13th international conference on Practical aspects of declarative languages
Extending monads with pattern matching

Proceedings of the 4th ACM symposium on Haskell

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper presents a generalization of Haskell's IO monad suitable for synchronous concurrent programming. The new monad integrates the deterministic concurrency paradigm of synchronous programming with the powerful abstraction features of functional languages and with full support for imperative programming. For event-driven applications, it offers an alternative to the use of existing, thread-based concurrency extensions of functional languages. The concepts presented have been applied in practice in a framework for programming interactive graphics.