FSCD 2017
Mon 4 - Thu 7 September 2017
Oxford, United Kingdom
co-located with
ICFP 2017
Toggle navigation
Attending
Venue: Mathematical Institute
Program
Complete Program
Your Program
Mon 4 Sep
Tue 5 Sep
Wed 6 Sep
Thu 7 Sep
Track/Call
Organization
FSCD 2017
Not available
Contributors
People Index
Search
Series
Sign in
Sign up
ICFP 2017
(
series
) /
FSCD 2017 (
series
) /
FSCD 2017
/
The Complexity of Principal Inhabitation
Who
Andrej Dudenhefner
,
Jakob Rehof
Track
FSCD 2017
When
Thu 7 Sep 2017 11:00 - 11:30 at
L2
-
Session 16
Andrej Dudenhefner
Author
Technical University Dortmund
Jakob Rehof
Author
Technical University Dortmund
Session Program
Thu 7 Sep
fscd-2017
10:30 - 11:59:
FSCD 2017
- Session 16 at
L2
fscd-2017
10:30 - 11:00
Talk
Arrays and References in Resource Aware ML
Benjamin Lichtman
,
Jan Hoffmann
Carnegie Mellon University
fscd-2017
11:00 - 11:30
Talk
The Complexity of Principal Inhabitation
Andrej Dudenhefner
Technical University Dortmund
,
Jakob Rehof
Technical University Dortmund
fscd-2017
11:30 - 11:59
Talk
Types as Resources for Classical Natural Deduction
Delia Kesner
IRIF, France / University of Paris Diderot, France
,
Pierre Vial
x
Tue 19 Feb 09:03