Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 09:35 - 09:55 at Conference Room 1 - Session One

I am Director of the Software Engineering Programme, which offers part-time professional Masters’ degrees in Software Engineering and in Software and Systems Security. I am currently the Chair of Faculty of Computer Science. For the academic years 2008-2010 was also Deputy Director of the Computing Laboratory (now the Department of Computer Science). I am a fellow of Kellogg College. Before taking up this post in 1999, I held lectureships at Oxford Brookes University and the University of Auckland, New Zealand.

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
Session OneTyDe at Conference Room 1
09:15
20m
Day opening
Opening
TyDe

09:35
20m
Talk
APLicative Programming with Naperian Functors
TyDe
Jeremy Gibbons University of Oxford, UK
09:55
20m
Talk
Choose Your Own Derivative
TyDe