FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
ICFP 2017 (series) / FSCD 2017 (series) / FSCD 2017 /

Infinite Runs in Abstract Completion

Nao Hirokawa, aart Middeldorp, Christian Sternagel, Sarah Winkler
FSCD 2017
Wed 6 Sep 2017 15:30 - 16:00 at L2 - Session 13
small-avatar
Nao HirokawaAuthor
JAIST
small-avatar
aart MiddeldorpAuthor
small-avatar
Christian SternagelAuthor
small-avatar
Sarah WinklerAuthor

Wed 6 Sep

fscd-2017
15:00 - 16:00: FSCD 2017 - Session 13 at L2
fscd-2017150470280000015:00 - 15:30
Talk
Patrick Bahr
fscd-2017150470460000015:30 - 16:00
Talk
Nao Hirokawa, aart Middeldorp, Christian Sternagel, Sarah Winkler