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

Displayed 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 Hoffmann Carnegie Mellon University
11:00
30m
Talk
The Complexity of Principal Inhabitation
FSCD 2017
A: Andrej Dudenhefner Technical University Dortmund, A: Jakob Rehof Technical University Dortmund
11:30
29m
Talk
Types as Resources for Classical Natural Deduction
FSCD 2017
A: Delia Kesner Université de Paris, CNRS, IRIF, France, A: Pierre Vial