ICFP 2021
Sun 22 - Sat 28 August 2021
Tracks (22 results)

Erlang 2021

… . The workshop is welcoming contributions related to any and all systems like those mentioned … to any and all systems like those mentioned above.

The workshop aims to enable … and all systems like those mentioned above.

The workshop aims to enable …

ML 2021

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

Workshop on Type-Driven Development 2021

… development.

We welcome all contributions, both theoretical and practical … or exploring types as a means of program development.

We welcome all contributions, both … HotCRP:

https://tyde21.hotcrp.com

All submissions should be in portable …

ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design

… (FARM) will also be held online in 2021 but open to all tracks (paper, demo … or the arts are all within the scope of the workshop.

In addition to the main …

HOPE 2021

… work is an inspiration to us all.

The 8th ACM SIGPLAN Workshop on Higher …) to read.

We are interested in talks on all topics related to the interaction …

FHPNC 2021

… standard.

Submission is handled through the HotCRP site. All submissions …

Haskell 2021

… value and will not be distinguished in the proceedings. Although all papers may …: 2 pages

There is no requirement that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list …

OCaml 2020

… and its community. We aim to solicit talks on all aspects related to improving … as well as provide necessary feedback and ensure that all videos match our …. * Ensure that all videos are of the same quality, the audio levels are the same …

PLMW @ ICFP 2021

… that there’s a whole community out there of like-minded folks who are all very … out that folks all over the world also care about these problems …

OCaml 2021

… language and its community. We aim to solicit talks on all aspects related … to authors as well as provide necessary feedback and ensure that all videos …

miniKanren 2020

… of being “run backward,” performing synthesis, etc.

We want to encourage all kinds …

Scheme 2020

… . * All deadlines are (23:59 UTC-12), “Anywhere on Earth”.

Submission … in reviews.

We want to encourage all kinds of submissions, including **full …

Scheme and Functional Programming Workshop 2021

… . * Camera-ready versions are due 21 July 2021. * All deadlines are (23:59 ….

We want to encourage all kinds of submissions, including **full papers …

miniKanren 2021

… backward,” performing synthesis, etc.

We want to encourage all kinds …

HIW 2020

… ’ve missed, so by all means submit a proposal even if it doesn’t fit exactly …

HIW 2021

… . There may be some topics that people feel we’ve missed, so by all means …

ICFP Programming Contest

… The ICFP Contest 2011 takes place 9-12 July 2021. All details will be announced through this website: https://icfpcontest2021.github.io. …

PLTea

… of minutes, or as long as you like. All welcome! …

Artifact Evaluation

… take many forms, including any or all of the following:

  • a working copy … all claims of the paper,
  • well documented,
  • future-proof, and
  • easy …. These are the key dates (all dates are in the [Anywhere on Earth (AOE / UTC-12 …

Student Research Competition

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

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

Student Volunteers

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

ICFP 2021 is pleased to offer a number of opportunities for student volunteers, who are vital to the efficient operation and continued …

Research Papers

… on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all languages that encourage … research on all aspects of programming languages, from design to implementation …