88

Dependently Typed Programming: an Agda Introduction

A series of lectures given by Conor McBride at the University of Edinburgh, Jan-March 2011.
Play all

Loading...

to add this to Watch Later

Add to

Loading playlists...