• 8.1 Terms
• 8.2 Monadic expressions
• 8.3 Binary expressions
• 8.4 General Expressions
• 8.5 Constant expressions
• 8.6 Expression evaluation

Expressions in Limbo resemble those of C, although some of the operators are different. The most salient difference between Limbo's expression semantics and those of C is that Limbo has no automatic coercions between types; in Limbo every type conversion is explicit.