We introduce basic language constructs and a type discipline as a foundation of structured
communication-based concurrent programming. The constructs, which are easily …

Fran (Functional Reactive Animation) is a collection of data types and functions for
composing richly interactive, multimedia animations. The key ideas in Fran are its notions of …

Programming is hard. Building a large program is like constructing a steam locomotive
through a hole the size of a postage stamp. An artefact that is the fruit of hundreds of person …

We present a small language L and its ty** system, starting from the idea of interaction,
one of the important notions in parallel and distributed computing. L is based on, apart from …

Concurrent ML (CML) is a high-level, high-performance language for concurrent
programming. It is an extension of Standard ML (SML)[MTH90], and is implemented on top …

The economy and flexibility of the pi-calculus make it an attractive object of theoretical study
and a clean basis for concurrent language design and implementation. However, such …

We show that any monad whose unit and extension operations are expressible as purely
functional terms can be embedded in a call-by-value language with “composable …

Cayenne is a Haskell-like language. The main difference between Haskell and Cayenne is
that Cayenne has dependent types, ie, the result type of a function may depend on the …

Functional Reactive Programming, or FRP, is a general framework for programming hybrid
systems in a high-level, declarative manner. The key ideas in FRP are its notions of …

Message-based communication offers the potential benefits of providing stronger
specification and cleaner separation between components. Compared with shared-memory …