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

Sun 3 Sep

Displayed time zone: Belfast change

10:30 - 11:30
Morning tutorial session 2Tutorials at L5
10:30
60m
Talk
Tutorial T1: Writing Verified Programs in CakeML (part 2)
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