Blogs (27) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom

0 results

People (3 results)
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 …

Michel Steuwer

Michel Steuwer

The University of Edinburgh

… ).

I’m interested in all aspects of parallel programming. Particular research …

Bodil Stokke

Bodil Stokke

Church of Emacs

… . Both contemporary critics and later biographers have argued that some or all

Events (27 results)

State machines all the way down

ML 2017 When: Thu 7 Sep 2017 09:05 - 10:00 People: Edwin Brady

… …

Higher-order Programming is an Effect

HOPE 2017 When: Sun 3 Sep 2017 10:30 - 11:00 People: Oleg Kiselyov

… , is an effect as well. The (lexical) closure acts as a handler of all ….

All in all, higher-order programming is essentially first-order single …

In medias res: WIP discussion

Erlang 2017 When: Fri 8 Sep 2017 17:20 - 17:50

… NOTE: Tentative agenda

Open discussion of works-in-progress (WIPs) in research and new developments in industry & open source communities for all BEAM languages (Erlang, Elixir, LFE, and others) as well as actor-based systems (Akka …

Generic packet descriptions: verified parsing and pretty printing of low-level data

TyDe 2017 When: Sun 3 Sep 2017 10:30 - 11:00 People: Marcell van Geest, Wouter Swierstra

… once and for all that the parsers and pretty printers generated in this style …

Blog Posts (11 results)

A good place to know unexpected research results

Author: Zirun Zhu

… for ICFP, and got a free ticket to all the events there.

In this post, I would … for attending the SRC only, this work comes with a 127-page pdf file including all … was not impressed at all when I heard the work at the venue. The first reason …

Attending ICFP as an Undergraduate Student

Author: Marilyn Sun

… Workshop at the beginning of the week, and was very inspired by all the fascinating … about the function. FARM was also a cool event in which all talks were related … advice. I would highly recommend all who are thinking of attending ICFP, even …

Attending my first conference

Author: Steven Cheung

… the resulting program could run 30 times faster than its non-incremental counterpart.

All in all, this conference was a great experience and I enjoyed it very much! …

Attending Information (7 results)

Accommodation

… Accommodation for ICFP and FSCD will be in Oxford colleges. All the colleges provide ensuite rooms and are within a short walk of the venue. All prices include taxes (VAT); all rooms except at St Antony’s include breakfast. **Room blocks …

Student Volunteers

… Sign up to be a Student Volunteer and help us make ICFP 2017 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 …

Visa Support Letter

… ### Getting a Visa Support Letter

The ACM does not issue formal invitation letters for visas to attend ICFP. We can however issue a visa support letter. For visa support letters, please send all requests to the Office of SIG Services via …

Tracks (14 results)

FSCD 2017

… The Second International Conference on Formal Structures for Computation and Deduction is co-located with ICFP 2017.

You can find all information at http://www.cs.ox.ac.uk/conferences/fscd2017/. …

ML 2017

… others. All ML languages share several fundamental traits, besides a good deal … systems, metaprogramming). The scope of the workshop includes all aspects … Andrews, UK)

State machines all the way down

A useful pattern …

HOPE 2017

… . They are dedicated to John Reynolds, whose work is an inspiration to us all.

The 6th ACM … in talks on all topics related to the interaction of higher-order programming …

Homepage (13 results)

Erlang 2017 Homepage

… Erlang 2017 Welcome to the website of the Erlang 2017 conference. We are working hard to fill the website with all related information. Please check back soon! b6980820-d08b-46ff-91eb-1ea2e72cbb12 …

HOPE 2017 Homepage

… HOPE 2017 Welcome to the website of the HOPE 2017 conference. We are working hard to fill the website with all related information. Please check back soon! 0fdc1806-0f59-41e6-8ddd-dcb0be37e3c7 …

CUFP 2017 Homepage

… CUFP 2017 Welcome to the website of the CUFP 2017 conference. We are working hard to fill the website with all related information. Please check back soon! 26a9899e-b89c-4f1a-bffb-37c224ba1e21 …