Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 09:00 - 10:00 at L5 - Morning tutorial session 1

Sun 3 Sep

Displayed time zone: Belfast change

09:00 - 10:00
Morning tutorial session 1Tutorials at L5
09:00
60m
Talk
Tutorial T1: Writing Verified Programs in CakeML
Tutorials
P: Ramana Kumar Data61 at CSIRO, Australia / UNSW, Australia, P: Michael Norrish Data61 at CSIRO, Australia / Australian National University, Australia, P: Scott Owens University of Kent, UK, P: Magnus O. Myreen Chalmers University of Technology, Sweden