Reactive objects in a functional language : an escape from the Evil I

We present an extension to Haskell which supports reactive, concurrent programming with objects, sans the problematic blocking input. We give a semantics together with a number of programming examp ...

[1]  Joe Armstrong,et al.  Concurrent programming in ERLANG , 1993 .

[2]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[3]  Magnus Carlsson,et al.  Programming with Fudgets , 1995, Advanced Functional Programming.

[4]  Amr Sabry,et al.  Proving the correctness of reactive systems using sized types , 1996, POPL '96.

[5]  Amir Pnueli,et al.  Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends , 1986, Current Trends in Concurrency.

[6]  John H. Reppy.  Concurrent ML: Design, Application and Semantics , 1993, Functional Programming, Concurrency, Simulation and Automated Reasoning.

[7]  Simon L. Peyton Jones,et al.  Lazy functional state threads , 1994, PLDI '94.

[8]  William Stoye.  Message-Based Functional Operating Systems , 1986, Sci. Comput. Program..

[9]  Edsger W. Dijkstra,et al.  The structure of the “THE”-multiprogramming system , 1968, CACM.

[10]  David Turner,et al.  Functional Programming and Communicating Processes , 1987, PARLE.

[11]  Gul Agha,et al.  Research directions in concurrent object-oriented programming , 1993 .

[12]  Enno Scholz.  Four Concurrency Primitives for Haskell , 1995 .

[13]  John C. Reynolds.  User-defined types and procedural data structures as complementary approaches to data abstraction , 1994 .

[14]  Benjamin C. Pierce,et al.  Concurrent Objects in a Process Calculus , 1994, Theory and Practice of Parallel Programming.

[15]  C. A. R. Hoare,et al.  Monitors: an operating system structuring concept , 1974, CACM.

[16]  Johan Nordlander,et al.  Pragmatic subtyping in polymorphic languages , 1998, ICFP '98.

[17]  Mark P. Jones,et al.  Using parameterized signatures to express modular structure , 1996, POPL '96.

[18]  Simon L. Peyton Jones,et al.  Concurrent Haskell , 1996, POPL '96.

[19]  Gérard Berry,et al.  The chemical abstract machine , 1989, POPL '90.

[20]  Gul A. Agha,et al.  ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.

[21]  Michael Papathomas,et al.  A Unifying Framework for Process Calculus Semantics of Concurrent Object-Oriented Languages , 1991, Object-Based Concurrent Computing.

[22]  Peter Henderson,et al.  Purely Functional Operating Systems , 1982 .

[23]  Albert Benveniste,et al.  The synchronous approach to reactive and real-time systems , 1991 .

[24]  Peter Buneman,et al.  Theoretical Aspects of Object-Oriented Programming , 1994 .

[25]  John Sargeant.  Uniting Functional and Object-Oriented Programming , 1993, ISOTAS.