Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
ICFP 2017 (series) / Tutorials /

Tutorial T1: Writing Verified Programs in CakeML (part 3)

Ramana Kumar, Michael Norrish, Scott Owens, Magnus O. Myreen
ICFP 2017 Tutorials

Display in different time zone

The program is currently displayed in (GMT+01:00) Greenwich Mean Time : Belfast.
Apply
Close
Sun 3 Sep 2017 12:00 - 12:30 at L5 - Morning tutorial session 3
Ramana Kumar
Ramana KumarPresenter
Data61 at CSIRO, Australia / UNSW, Australia
Australia
Michael Norrish
Michael NorrishPresenter
Data61 at CSIRO, Australia / Australian National University, Australia
Australia
Scott Owens
Scott OwensPresenter
University of Kent, UK
United Kingdom
Magnus O. Myreen
Magnus O. MyreenPresenter
Chalmers University of Technology, Sweden
Sweden

Display in different time zone

The program is currently displayed in (GMT+01:00) Greenwich Mean Time : Belfast.
Apply
Close

Sun 3 Sep
Times are displayed in time zone: (GMT+01:00) Greenwich Mean Time : Belfast change

icfp-2017-tutorials
12:00 - 12:30: Tutorials - Morning tutorial session 3 at L5
icfp-2017-tutorials12:00 - 12:30
Talk
Ramana KumarData61 at CSIRO, Australia / UNSW, Australia, Michael NorrishData61 at CSIRO, Australia / Australian National University, Australia, Scott OwensUniversity of Kent, UK, Magnus O. MyreenChalmers University of Technology, Sweden