Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan

0 results

People (5 results)
Daniel Friedman

Daniel Friedman

Indiana University

… Edition, all published by MIT press. …

Mark Jones

Mark Jones

Portland State University

… I am a Professor in the Department of Computer Science in the Maseeh College of Engineering & Computer Science at Portland State University in Portland, Oregon, USA.

My research interests include all aspects of programming language design …

Geoffrey Mainland

Geoffrey Mainland

Drexel University

… for several tech companies, all of which are now defunct. Most of my work was related …

Events (15 results)

All ICFP participants are welcome

Receptions When: Thu 22 Sep 2016 18:30 - 20:30

… …

All Sorts of Permutations (Functional Pearl)

Research Papers When: Mon 19 Sep 2016 17:50 - 18:15 People: Jan Christiansen, Nikita Danilenko, Sandra Dylus

… enumerates all permutations of the input list. We use free theorems, which …

Supermonads: One Notion to Bind Them All

Haskell When: Fri 23 Sep 2016 14:25 - 14:50 People: Jan Bracker, Henrik Nilsson

… of monadic functions that work uniformly with all of them.
As standard Haskell type …

A Dependent Haskell Triptych

HIW When: Sat 24 Sep 2016 11:45 - 12:10 People: Richard A. Eisenberg

… of this talk is not to explain all of the details of any of these examples, nor …

Attending Information (5 results)

Student Volunteers

… Sign up to be a Student Volunteer and help us make ICFP 2016 a unique experience for all attendants!

ICFP is pleased to offer a number of opportunities ….).

The Student Volunteer registration covers:

  • Access to all workshops and the main …

Visas

… before your trip to Japan.

For all information contact: icfp-visa at researchr.org

Student Travel Support

… There are many opportunities for students to get involved with the conference.
Students needing financial support to attend the conference are encourage to apply to the following.

**All students who receive travel support are asked …

Tracks (8 results)

PLMW

… information about the talk with a button that says “all details” in the bottom left … “all details” in the bottom left of the page. Click that to go to yet another …

HOPE

… , and seem eminently suitable for ensuring all algebraic effects are appropriately … members are free (but not expected) to read.

We are interested in talks on all

ML

… ML, Dependent ML, Flow Caml, and many others. All ML languages share several …, metaprogramming). The scope of the workshop includes all aspects of the design …

General (14 results)

TyDe 2016 Homepage

… TyDe 2016 Welcome to the website of the TyDe 2016 conference. We are working hard to fill the website with all related information. Please check back soon! d686fced-5505-4b83-acef-8faa2dbadd20 …

HOPE 2016 Homepage

… HOPE 2016 Welcome to the website of the HOPE 2016 conference. We are working hard to fill the website with all related information. Please check back soon! 06609352-6ede-4106-9c05-6f34dda63374 …

FARM 2016 Homepage

… FARM 2016 Welcome to the website of the FARM 2016 conference. We are working hard to fill the website with all related information. Please check back soon! 59cc58ca-9385-4152-8060-231e9a4b8d4e …

Student Research Competition

… …

Call for Sponsorships

… …

Submission and Reviewing FAQ

… …