Limbo

Distributed systems on small computers. Modular programming, strong typechecking, abstract data types, interprocess communication over typed channels, and garbage collection. Implemented for the Inferno operating system.