Interesting Papers

things to read, or have read, or worth reading again

• Infopipes: an Abstraction for Multimedia Streaming - OO abstraction for dataflow graphs.
• Lucid Synchrone Tutorial and Reference Manual - a synchronous data flow language that uses a clock calculus to automatically determine properties of the graph.
• Implementation of the data-flow synchronous language SIGNAL - Another data flow language with a clock calculus.
• Arrows, Robots, and Functional Programming - Functional Reactive Programming.
• Functional Reactive Programming for Real-Time Reactive Systems - dissertation on Functional Reactive Programming in Haskell.
• Putting Curry-Howard to Work - Shows how to use type systems to prove that programs have certain properties. In particular example 13 shows a way to type Infopipes so that incorrect graphs are a type error.
• Type Systems - A well written introduction to type systems and the notation.
• Lecture Notes on Types - more about type theory.
• Scheduling Dynamic Dataflow Graphs With Bounded Memory Using The Token Flow Model - data flow scheduling.
• Overview Of The Ptolemy Project - a Java class library for data flow, concurrency, actors model. I'm more interested in the data flow and concurrency design, not the Java.
• Actors: A Model of Concurrent Computation in Distributed Systems - early comprehensive paper on the Actors model.

References for talk at SuperCollider Symposium

• Actors - A Model of Concurrent Computation in Distributed Systems
• AudioUnits - stream pull model
• Aura - message passing components in multiple zones for multimedia
• CSP - communicating sequential processes
• Erlang - functional language using actors model + selective reception
• Faust - graph combinators for signal processing code generator
• Gooze - pull model + code generation for multimedia
• Haskell - lazy evaluation, lazy lists, list comprehensions
• Icon - goal directed evaluation
• InfoPipes - push and pull model data flow
• Kamaelia - concurrent processes with inboxes in Python
• Kent C++CSP Library - CSP + Pi implementation in C++
• Kyma - graph combining signal processing and higher level functional operations on the graph
• Lisp series macro package
• Lucid - reactive synchronous data flow in OCaml
• MAX / Pd - reactive, push model, left inlet firing convention
• Nyquist - lazy list pull model
• Occam - programming language using CSP model
• Oz - declarative concurrency via logic variables
• PatchWork - graphical computer assisted music composition in Lisp, pull model
• Protothreads - using Duff's device to implement user threads in C
• Ptolemy - concurrent components, multiple paradigms
• Termite - actors model in gambit scheme
• Timber - reactive objects
• Toontalk - stackless concurrent actors for kids
• Trampolined style - a means of implementing threads and continuations in a single loop.
• Yampa FRP - graph combinators for reactive programming in Haskell