FSCD 2017
Mon 4 - Thu 7 September 2017 Oxford, United Kingdom
co-located with ICFP 2017
Tue 5 Sep 2017 15:00 - 15:30 at L2 - Session 8

Tue 5 Sep

Displayed time zone: Belfast change

15:00 - 16:00
Session 8FSCD 2017 at L2
15:00
30m
Talk
Is the optimal implementation inefficient? Elementarily not
FSCD 2017
A: Stefano Guerrini , A: Marco Solieri University of Bath
15:30
30m
Talk
Optimality and the Linear Substitution Calculus
FSCD 2017
A: Pablo Barenbaum University of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France, A: Eduardo Bonelli CONICET, Argentina / Universidad Nacional de Quilmes, Argentina