Conference logo

Programming with dependent types in Idris - raichoo

31c3 - Science - 12/28/2014

Idris is a relatively young research programming languages that attempts to bring dependent types to general purpose programming. In this talk I will introduce the concept of dependent types and the Curry-Howard isomorphism and how these can be applied to prove properties about software and eradicate whole classes of bugs and security issues.

Share this talk: