Engines of Logic

Logic and mathematics have played a leading role in programming language development since the 1950s. In this session, we'll pick apart type theory and the Curry-Howard correspondence, examine some of the key questions of denotational semantics, and get a feel for dependent types. We'll also look at the logic underpinnings of the design recipes of "How to Design Programs".

If you use 1990s languages, you may learn why they are inevitably morphing to stay relevant. Users of 21st century languages may get some insight into why they are better designed than their predecessors.

Eric Smith (@eric_s_smith (https://twitter.com/eric_s_smith)) is SVP of Product Development for Middlebury Interactive Languages. He likes to share what he learns in his ongoing battle to build, extend, and maintain applications in an ever-changing technology landscape.