Skip to content

Research at St Andrews

Lambda World

Activity: Talk or presentation typesPresentation

Edwin Charles Brady - Speaker

Type-driven Development of Communicating Systems in Idris
1 Oct 2016

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

ID: 248835196