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

0 results

People (1 results)
Mark Jones

Mark Jones

… …

Events (15 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

… …

Selective Applicative Functors

Research Papers When: Mon 19 Aug 2019 17:13 - 17:36 People: Andrey Mokhov, Georgy Lukyanov, Simon Marlow, Jeremie Dimino

… effects* that cannot depend on values produced by earlier computations, and all … effect determines all subsequent effects, dynamically.

This paper introduces … all effects to be declared statically, but provides a way to select which …

Mixed Linear and Non-linear Recursive Types

Research Papers When: Wed 21 Aug 2019 15:20 - 15:43 People: Bert Lindenhovius, Michael Mislove, Vladimir Zamdzhiev

… structure of the substructural operations of Intuitionistic Linear Logic at all non … the canonical comonoid structure of all non-linear types. We also show …

Attending Information (4 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

… those costs to ensure that all articles published in PACMPL are available …

Students

… registration and access to all sessions. See the [Student Volunteer page](https …

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 …

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 …

FARM 2019

… , and applications in industry or the arts are all within the scope of the workshop … tutorial

All submissions must propose an original contribution to the FARM theme … retain all rights to the auxiliary material.

Demo proposals …

General (11 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 …