Blogs (25) >>
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

PLMW-ICFP-2017
10:30 - 11:30: PLMW 2017 - Session 1 at L1
PLMW-ICFP-2017150442740000010:30 - 11:00
Talk
PLMW-ICFP-2017150442920000011:00 - 11:30
Talk
File Attached