Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Sun 3 Sep 2017 11:00 - 11:30 at L1 - Session 1
Compositional Compiler Correctness, Ahmed, plmw-icfp17 (2017-plmw-icfp.pdf)932KiB

Sun 3 Sep

Displayed time zone: Belfast change

10:30 - 11:30
Session 1PLMW at L1
10:30
30m
Talk
A Few Frank Remarks
PLMW
11:00
30m
Talk
Compositional Compiler Correctness
PLMW
Amal Ahmed Northeastern University, USA
File Attached