Write a Blog >>
ICFP 2018
Sun 23 - Sat 29 September 2018 St. Louis, Missouri, United States

0 results

People (2 results)
Mark Jones

Mark Jones

… …

Didier Verna

Didier Verna

… …

Events (13 results)

A Type and Scope Safe Universe of Syntaxes with Binding, Their Semantics and Proofs

Research Papers People: Guillaume Allais, Robert Atkey, James Chapman, Conor McBride, James McKinna

… and for all by generic programming; and (2) how to derive properties …, and our examples have all been formalised in Agda and are available …

Capturing the Future by Replaying the Past

Research Papers People: James Koppel, Gabriel Scherer, Armando Solar-Lezama

… Delimited continuations are the mother of all monads! So goes the slogan inspired by Filinski’s 1994 paper, which showed that delimited continuations can … delimited continuations.

Luckily, exceptions and state are also the mother of all

Functional Programming for Compiling and Decompiling Computer-Aided Design

Research Papers People: Chandrakana Nandi, James R. Wilcox, Taylor Blau, Dan Grossman, Zachary Tatlock


correctness, and program synthesis all play key roles in our … communities back
to more-editable CAD programs. All our prototypes have …

What You Needa Know about Yoneda

Research Papers People: Guillaume Boisseau, Jeremy Gibbons

… of “getter” and “setter” functions is not at all obvious. We derive the profunctor …

Attending Information (5 results)

Student Volunteering

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

ICFP is pleased to offer a number of opportunities … running smoothly.

The Student Volunteer registration covers:

  • Access to all

Call for Sponsorship

… programming languages, covering all aspects of theory, implementation, and application … * Your name listed in the proceedings

Silver - $3,000

  • All of the benefits … materials such as banners and posters

Gold - $6,000

  • All of the benefits …

Local Arrangements

… /reservations?code=ICFP2018) for an airport shuttle. Their cars all have car seats …

Tracks (14 results)

Scala 2018

… on all …: Aug 31st, 2018

All deadlines are at the end of the day, [“Anywhere … as beginners and experts alike, we seek several kinds of submissions, all

ML 2018

… , and many others. All ML languages share several fundamental traits, besides a good …, module systems, metaprogramming). The scope of the workshop includes all … Caml, and many others. All ML languages share several fundamental traits …

Student Research Competition

… , the ICFP 2018 SRC consists of three rounds:

Round 1: Extended Abstracts. All … will receive prizes of $500, $300, and $200, respectively.

All six winners … and their advisors will be invited to the Annual ACM Awards Banquet for an all

Homepage (13 results)

HIW 2018 Homepage

… HIW 2018 Welcome to the website of the HIW 2018 conference. We are working hard to fill the website with all related information. Please check back soon! 648aeb0e-9b3b-4760-bf48-07e20daff0cd …

HOPE 2018 Homepage

… HOPE 2018 Welcome to the website of the HOPE 2018 conference. We are working hard to fill the website with all related information. Please check back soon! 7fcde24a-6858-4c50-aac2-cc8ccbf98874 …

Haskell 2018 Homepage

… Haskell 2018 Welcome to the website of the Haskell 2018 conference. We are working hard to fill the website with all related information. Please check back soon! 92f77534-1ad0-4639-a7b4-964f5a2177c4 …