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)

FARM 2017 Homepage

… FARM 2017 Welcome to the website of the FARM 2017 conference. We are working hard to fill the website with all related information. Please check back soon! 2ae76f67-fd18-4598-90c8-fa8f4483bbbd …

PLMW 2017 Homepage

… Programming Languages Mentoring Workshop 2017 Welcome to the website of the Programming Languages Mentoring Workshop 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! 7718181b-b9c6-4a6e-8ef8-18786bb38d99 …