Limbo is a programming language for writing distributed systems and is the language used to write applications for the Inferno operating system. Limbo supports modular programming, strong type checking at compile- and run-time, interprocess communication over typed channels, automatic garbage collection, and simple abstract data types.