CUFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
co-located with ICFP 2016
VenueNara Kasugano International Forum
Room nameConference Room 5
Floor2
Room number5
Capacity132
Room Information

Annex

Program

You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

09:15 - 10:15
1PLMW at Conference Room 5
Chair(s): Amal Ahmed Northeastern University
09:15
30m
Talk
Welcome to ICFP!
PLMW
Kathleen Fisher Tufts University
Media Attached File Attached
09:45
30m
Talk
Rust: PL research in industry
PLMW
Aaron Turon MPI-SWS
10:45 - 12:15
2PLMW at Conference Room 5
Chair(s): Amal Ahmed Northeastern University
10:45
45m
Talk
Basic Mechanics of Operational Semantics
PLMW
David Van Horn University of Maryland, USA
Link to publication
11:30
45m
Talk
Some Types of Types
PLMW
Philip Wadler University of Edinburgh
File Attached
17:00 - 18:00
5PLMW at Conference Room 5
Chair(s): Atsushi Igarashi Kyoto University
17:00
30m
Talk
Principle and Practice of OCaml Type Debugger
PLMW
Kenichi Asai Ochanomizu University
File Attached
17:30
30m
Talk
Unaccustomed as I am to public speaking
PLMW
John Hughes Chalmers University of Technology

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 5

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 5

Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:003010:003011:003012:003013:003014:003015:003016:003017:0030
Conference Room 5

Thu 22 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Conference Room 5

Fri 23 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

Room9:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Conference Room 5