Ben Kyrlach will be presenting:

My take on Propositions as Types

The best way to learn something is to teach it. In this presentation, I’ll be explaining my take of Phillip Wadler’s famous “Propositions as Types” talk, with practical examples using PureScript. We’ll explore how to catch logic errors using nothing but the type system, and compare and contrast typical statically typed programs with programs using this understanding of types.