InfoQ Homepage Presentations The Trouble With Types

Martin Odersky outlines the main categories of static type systems as well as some new developments, and discuss the tradeoffs they make.

Bio

Martin Odersky is co-founder of Typesafe, the creator of the Scala programming language, and a professor in the programming research group at EPFL, the leading technical university in Switzerland. He wrote javac, the compiler used by the majority of today's Java programmers, and scalac, the compiler used by the fast-growing Scala community. He authored "Programming in Scala", a best-seller.