Skip to main navigation
Skip to search
Skip to main content
University of St Andrews Research Portal Home
Help & FAQ
Home
Profiles
Research output
Datasets/Software
Research units
Projects
Activities
Impacts
Prizes
Press/Media
Student theses
Search by expertise, name or affiliation
Code Mesh
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
Period
4 Nov 2014
Event title
Code Mesh
Event type
Conference
Location
London, United Kingdom
Show on map
X