type theory

ETE 2012 – Daniel Spiewak – Horrors of Static Typing

PlayPlay

From the abstract: Of all of the controversial topics in the field of (serious) software development, static typing is probably the most divisive. While the topic leads to fewer homicides than the perennial Vim vs Emacs conflagration, it still arouses passions and anger usually reserved for Gungans and fans of Visual Basic. This talk dives … Read More