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
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

Sun 3 Sep

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