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

0 results

People (3 results)
Michel Steuwer

Michel Steuwer

… …

Bodil Stokke

Bodil Stokke

… …

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 …

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 (6 results)

Using Slack at ICFP 2017

Author: Jeremy Gibbons

… separate invitations by email to all each registered participant, just a week before … possible to get a new shared invitation link, if all 1000 signups …, there were no offensive comments, and no moderation at all was needed …

Pubs and bars

Author: Jeremy Gibbons

… The Royal Oak, just across the road from the venue, is very good. But it’s not very big, so if you all go there it will be a very tight squeeze. I suggest …), Old Marston

All three of these pubs also serve good food. …

No Country for Polymaths*

Author: Yisu Remy Wang

… Bell, since he excelled in all fields of the discipline as it existed during his …–1928) in 1905. Thus he obtained perfect invariance of all of Maxwell’s equations … to open up different fields, so people look back at them as the master of all

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! …

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! …

FHPC 2017 Homepage

… FHPC 2017 Welcome to the website of the FHPC 2017 conference. We are working hard to fill the website with all related information. Please check back soon! …