AISEC seminar: Programming with Quantitative Types in Idris 2

This week's seminar is:
Edwin Brady, University of Edinburgh, UK
Programming with Quantitative Types in Idris 2
Wednesday, 10th February, 09:00 GMT.

Abstract: A general overview of Idris with specific examples on DSLs with resource tracking in the types.

Bio: Edwin Brady is a Lecturer in Computer Science at the University of St Andrews, interested in type theory, dependently typed functional programming, compilers and domain specific languages (DSLs). He is currently working on the implementation of DSLs for stateful, resource-aware programming, especially for correct network protocol design and implementation, using Idris, a dependently typed functional programming language.

Generally, all AISEC seminars are open for all interested colleagues, see 
There is a mailing list to join, if you wish to get seminar reminders and updates.