ICFP 2016 (series) / PLMW 2016 (series) /
PLMW 2016 Program
This is the PLMW 2016 program - see the full program for ICFP 2016 and all affiliated events.
Filter Program
Dates
Rooms
Tracks
Badges
Your Program
Sun 18 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
Sun 18 Sep
Displayed time zone: Osaka, Sapporo, Tokyo change
09:15 - 10:15 | |||
09:15 30mTalk | Welcome to ICFP! PLMW Kathleen Fisher Tufts University Media Attached File Attached | ||
09:45 30mTalk | Rust: PL research in industry PLMW Aaron Turon MPI-SWS |
10:45 - 12:15 | |||
10:45 45mTalk | Basic Mechanics of Operational Semantics PLMW David Van Horn University of Maryland, USA Link to publication | ||
11:30 45mTalk | Some Types of Types PLMW Philip Wadler University of Edinburgh File Attached |
14:00 - 15:00 | |||
14:00 30mTalk | Analyzing JavaScript Web Applications in the Wild (Mostly) Statically PLMW Sukyoung Ryu KAIST File Attached | ||
14:30 30mTalk | Introduction to Dependent Types PLMW Daniel R. Licata Wesleyan University Link to publication |
15:30 - 16:30 | |||
15:30 30mTalk | Program Transformations for Developing Efficient and Correct Programs with Ease PLMW Akimasa Morihata University of Tokyo, Japan File Attached | ||
16:00 30mTalk | How to Write Papers So People Can Read Them PLMW Derek Dreyer MPI-SWS, Germany File Attached |
17:00 - 18:00 | |||
17:00 30mTalk | Principle and Practice of OCaml Type Debugger PLMW Kenichi Asai Ochanomizu University File Attached | ||
17:30 30mTalk | Unaccustomed as I am to public speaking PLMW John Hughes Chalmers University of Technology |