Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016
Nara, Japan
Toggle navigation
Attending
Venue: Nara Kasugano International Forum
Travel information
Accommodation
Visas
Registration
Student Travel Support
Student Volunteers
Code of Conduct
Program
ICFP Program
Your Program
Submission and Reviewing FAQ
Call for Sponsorships
Student Research Competition
Filter by Day
Sun 18 Sep
Mon 19 Sep
Tue 20 Sep
Wed 21 Sep
Thu 22 Sep
Fri 23 Sep
Sat 24 Sep
Tracks
ICFP 2016
Keynote Talks
Reports
Research Papers
Tutorials
Workshops
Co-hosted Conferences
CUFP
Workshops
Erlang
FARM
FHPC
HIW
HOPE
ML
OCaml
PLMW
Scheme
TyDe
Co-hosted Symposia
Haskell
Organization
ICFP 2016 Committees
Organizing Committee
Steering Committee
Track Committees
Research Papers
Program Committee
Research Papers
External Review Committee
Tutorials
Contributors
People Index
Co-hosted Conferences
CUFP
Organizing Committee
Program Committee
Workshops
Erlang
Organizing Committee
Program Committee
FARM
Organizing Committee
Program Committee
FHPC
Organizing Committee
Program Committee
HIW
Program Committee
HOPE
Program Committee
ML
Program Committee
Steering Committee
OCaml
Organizing Committee
Program Committee
PLMW
Speakers
Organizers
Scheme
Organizing Committee
Program Committee
Steering Committee
TyDe
Organizing Committee
Program Committee
Co-hosted Symposia
Haskell
Organizing Committee
Program Committee
Search
Series
Series
ICFP 2025
ICFP 2024
ICFP 2023
ICFP 2022
ICFP 2021
ICFP 2020
ICFP 2019
ICFP 2018
ICFP 2017
ICFP 2016
Sign in
Sign up
ICFP 2016
(
series
) /
Research Papers
/
External Review Committee
ICFP Research Papers
Amal Ahmed
Committee Member
Northeastern University
Lars Bergstrom
Committee Member
Mozilla Research
Lars Birkedal
Committee Member
Aarhus University, Denmark
Denmark
Matthias Blume
Committee Member
Google
Arthur Charguéraud
Committee Member
Inria, France
France
James Cheney
Committee Member
University of Edinburgh
United States
Adam Chlipala
Committee Member
MIT
United States
Dominique Devriese
Committee Member
iMinds, Belgium
Belgium
Derek Dreyer
Committee Member
MPI-SWS, Germany
R. Kent Dybvig
Committee Member
Cisco Systems, Inc
Sebastian Fischer
Committee Member
Freelance
Matthew Flatt
Committee Member
University of Utah
United States
Pierre Geneves
Committee Member
CNRS
France
Jeremy Gibbons
Committee Member
University of Oxford, UK
Ralf Hinze
Committee Member
Radboud University Nijmegen
Stefan Holdermans
Committee Member
Vector Fabrics
Netherlands
Zhenjiang Hu
Committee Member
National Institute of Informatics, Japan
Japan
Suresh Jagannathan
Committee Member
DARPA
United States
Neel Krishnaswami
Committee Member
University of Birmingham, UK
Daniel R. Licata
Committee Member
Wesleyan University
United States
Sam Lindley
Committee Member
University of Edinburgh, UK
Ben Lippmeier
Committee Member
University of New South Wales
Andres Löh
Committee Member
Well-Typed LLP
Germany
Geoffrey Mainland
Committee Member
Drexel University
Simon Marlow
Committee Member
Facebook
Kazutaka Matsuda
Committee Member
Tohoku University
Conor McBride
Committee Member
University of Strathclyde
Matthew Might
Committee Member
University of Utah, USA
United States
Akimasa Morihata
Committee Member
University of Tokyo, Japan
Japan
Georg Neis
Committee Member
MPI-SWS & Saarland University
Ryan R. Newton
Committee Member
Indiana University, USA
Bruno C. d. S. Oliveira
Committee Member
University of Hong Kong, China
Simon Peyton Jones
Committee Member
Microsoft Research, UK
Benjamin C. Pierce
Committee Member
University of Pennsylvania
United States
François Pottier
Committee Member
INRIA
Mike Rainey
Committee Member
Inria, France
Tiark Rompf
Committee Member
Purdue & Oracle Labs
Andreas Rossberg
Committee Member
Google
Germany
Alejandro Russo
Committee Member
Chalmers University of Technology
Peter Sewell
Committee Member
University of Cambridge
Tim Sheard
Committee Member
Portland State University
Nikhil Swamy
Committee Member
Microsoft Research
United States
Sam Tobin-Hochstadt
Committee Member
Indiana University
United States
Katsuhiro Ueno
Committee Member
Tohoku University, Japan
David Van Horn
Committee Member
University of Maryland, USA
Meng Wang
Committee Member
University of Kent, UK
Singapore
Nicolas Wu
Committee Member
University of Bristol, UK
United Kingdom
Beta Ziliani
Committee Member
Universidad Nacional de Córdoba
x
Sat 21 Dec 13:15