Lambda the Ultimate

Language Support for ... (pdf)

"... using advanced programming language and verification techniques, it is possible to provide and enforce strong system-wide invariants that enable efficient communication and low-overhead software-based process isolation. Furthermore, specifications on communication channels help in detecting programmer mistakes early—namely at compile-time—thereby reducing the difficulty of the message-based programming model."

(And ppt slides)

The word that he had long taken to mean "one" (hoi, on a falling tone) is used by the Pirahã to refer, more generally, to "a small size or amount," and the word for "two" (hoi, on a rising tone) is often used to mean "a somewhat larger size or amount."

Light reading from The New Yorker - April 16, 2007 about LtU's favourite amazonian tribe (previously on LtU Piraha Exceptionality: a Reassessment).