FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Thu 7 Sep 2017 11:30 - 11:59 at L2 - Session 16

Thu 7 Sep
Times are displayed in time zone: Belfast change

10:30 - 11:59
Session 16FSCD 2017 at L2
10:30
30m
Talk
Arrays and References in Resource Aware ML
FSCD 2017
A: Benjamin Lichtman, A: Jan HoffmannCarnegie Mellon University
11:00
30m
Talk
The Complexity of Principal Inhabitation
FSCD 2017
A: Andrej DudenhefnerTechnical University Dortmund, A: Jakob RehofTechnical University Dortmund
11:30
29m
Talk
Types as Resources for Classical Natural Deduction
FSCD 2017
A: Delia KesnerIRIF, France / University of Paris Diderot, France, A: Pierre Vial