Programming with dependent types in Idris

raichoo

56 min

56 min 2014-12-28

2014-12-28 2014-12-29

2014-12-29 2720

2720 Fahrplan

Playlists: '31c3' videos starting here

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.

Download

Related

Embed Share:







Tags