Blogs (28) >>
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
Times are displayed in time zone: Belfast change

12:00 - 12:25
Extended abstracts 1TyDe at L2
12:00
25m
Talk
Cogent⇑: giving systems engineers a stepping stone
TyDe
Zilin ChenUNSW, Australia