States the motivation behind this library and introduces its core elements.
Desribes the dataflow model which all concrete reactive types are built on.
Describes how implicit parallelism and concurrent input are supported.
Explains algorithmic details behind the propagation engines.
Discusses various design decisions.