Safe dialect of C that provides features such as pattern matching, exceptions, algebraic datatypes and optional garbage collection. Offers downloads, manuals and other documentation essential for added information.

Article that imparts the design and initial implementations of the main parts of a hybrid resource control technique called RBClick. Offers complete discussion of the paper in PDF and PowerPoint presentations.

Introduction to MediaNet, a distribution network for streaming data. Compute nodes for MediaNet are written in a type-safe systems programming language called Cyclone.

Brief discussion on the purpose of the redesigned version of the C programming language.