Commercial Users of Functional Programming

Brady, E. C. (Speaker)

School of Computer Science

Activity: Talk or presentation types › Presentation

Description

Idris: Practical Software Verification with Dependent Types

A tutorial on programming in Idris at CUFP (Commercial Users of Functional Programming), colocated with ICFP 2014

Period	4 Sept 2014
Event title	Commercial Users of Functional Programming
Event type	Conference

Documents & Links

http://cufp.org/2014/t5-edwin-brady-idris-practical-software-verification-with-Dependent-types.html