Types

Using a type system to rule out what you would otherwise have to test for, or remember.

88 talks, about 69 hours before it comes round again. Speakers include Tim McNamara, Dmytro Petrashko and Paul Tarjan, Maurice Naftalin & Stuart Marks, Nadia Polikarpova, Malcolm Sparks, Tiark Rompf and others, from GOTO, Strange Loop, ClojureTV, IT University of Copenhagen and more.