Limbo es un lenguaje de programación para escribir sistemas distribuidos.
Además es el lenguaje usado para escribir aplicaciones para el sistema operativo Inferno.
Fue diseñado en los Laboratorios Bell por Sean Dorward, Phil Winterbottom y Rob Pike.
Limbo tiene las siguientes características: Limbo utiliza definiciones al estilo de Pascal como en: La 3ª edición del sistema operativo Inferno y el lenguaje de programación Limbo están descritas en el libro Inferno Programming with Limbo ISBN 0-470-84352-7 (Chichester: John Wiley & Sons, 2003), por Phillip Stanley-Marbell.
Otro libro de texto, "The Inferno Programming Book: An Introduction to Programming for the Inferno Distributed System", por Martin Atkins, Charles Forsyth, Rob Pike y Howard Trickey, fue empezado pero nunca se publicó.