Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 12:00 - 12:25 at L2 - Extended abstracts 1

This paper presents our vision and work in progress on deploying a high-level functional language with a rich and accessible type system for better modelling and verifying systems programs.

Sun 3 Sep

tyde-2017-papers
12:00 - 12:25: TyDe 2017 - Extended abstracts 1 at L2
tyde-2017-papers150443280000012:00 - 12:25
Talk