Write a Blog >>
ICFP 2019
Sun 18 - Fri 23 August 2019 Berlin, Germany

0 results

People (2 results)
Mark Jones

Mark Jones

… …

Michel Steuwer

Michel Steuwer

… …

Events (25 results)

Dijkstra Monads for All

Research Papers When: Wed 21 Aug 2019 10:52 - 11:15 People: Kenji Maillard, Danel Ahman, Robert Atkey, Guido Martínez, Cătălin Hriţcu, Exequiel Rivas, Éric Tanter

… …

Solver-Aided Programming for All

Keynotes and Reports When: Tue 20 Aug 2019 09:00 - 10:00 People: Emina Torlak

… …

Relational Interpreters for Search Problems

miniKanren 2019 When: Thu 22 Aug 2019 10:30 - 11:15 People: Petr Lozov, Ekaterina Verbitskaia, Dmitri Boulytchev

… the interpreter returns “true” if the candidate solution satisfies all constraints …

let (rec) insertion without effects, lights or magic

ML 2019 When: Thu 22 Aug 2019 10:55 - 11:20 People: Oleg Kiselyov, Jeremy Yallop

… semantics of let(rec)-insertion, which does not rely on any effects at all. …

Attending Information (5 results)

Call For Sponsorship

… programming languages, covering all aspects of theory, implementation, and application … special issue

Silver - $3,000

  • All of the benefits of Bronze sponsorship
  • One … on publicity materials such as banners and posters

Gold - $6,000

  • All

Registration

… costs to ensure that all articles published in PACMPL are available on a Gold OA …

Local Information

… of all papers" link that makes it easy to download everything):

http … Thursday of ICFP week. All receptions will take place in the restaurant/lounge … varies from day to day (it starts after all sessions are over – around 6 or 6:30 …

Tracks (12 results)

ML 2019

… Caml, Reason ML, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure … of the workshop includes all aspects of the design, semantics, theory, application …

FARM 2019

… in industry or the arts are all within the scope of the workshop.

Papers …. Original research 2. Overview / state of the art 3. Technology tutorial

All … with their paper (source code, data, videos, images, etc.); authors retain all rights …

Student Research Competition

… .** All students are encouraged to submit a 3-page extended abstract outlining … winners will receive prizes of $500, $300, and $200, respectively.

All six … for an all-expenses-paid trip, where they will be recognized …

General (12 results)

OCaml 2019 Homepage

… OCaml 2019 Welcome to the website of the OCaml 2019 conference. We are working hard to fill the website with all related information. Please check back soon! 49e3fb3d-3730-4595-a7fb-ce448bc2e183 …

HIW 2019 Homepage

… HIW 2019 Welcome to the website of the HIW 2019 conference. We are working hard to fill the website with all related information. Please check back soon! 16aededa-feb0-4abc-81d4-d3ace496a4b6 …

Haskell 2019 Homepage

… Haskell 2019 Welcome to the website of the Haskell 2019 conference. We are working hard to fill the website with all related information. Please check back soon! 1c296e10-5f34-48c1-8615-84694f066859 …