ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Tracks (19 results)

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023

… , 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 …, metaprogramming, etc.) The scope of the workshop includes all aspects of the design …

TyDe 2023

… .

We welcome all contributions, both theoretical and practical, on a range ... development.

We welcome all contributions, both theoretical and practical ...

All submissions should be in portable document format (PDF) and formatted using ...

FARM 2023

… , and applications in industry or the arts are all within the scope of the workshop … in industry or the arts are all within the scope of the workshop … with their paper (source code, data, videos, images, etc.). Authors retain all

Erlang 2023

… designed atop Erlang’s VM. The workshop welcomes contributions related to any and all … is welcoming contributions related to any and all systems like those mentioned above … Erlang’s VM. The workshop is welcoming contributions related to any and all

HOPE 2023

… . They are dedicated to John Reynolds, whose work is an inspiration to us all.

The 11th … members are free (but not expected) to read.

We are interested in talks on all


… , there is no requirement or expectation that all pages are used, and authors …

PLMW @ ICFP 2023

… .

The workshop registration is open to all. Students with alternative sources … 14, AoE. We will notify accepted attendees in a rolling fashion until all

Scheme 2023

… .

Proceedings with the preprints of all presented articles will be uploaded …. - Workshop in Seattle, Washington, USA on 2023-09-09 (Saturday).


We encourage all kinds of submissions, including full papers …

OCaml Users and Developers Workshop 2023

… on the OCaml programming language and its community. We aim to solicit talks on all

miniKanren 2023

… backward,” performing synthesis, etc.

We want to encourage all kinds …

FHPNC 2023

… is handled through the HotCRP site. All submissions should be in portable …

HIW 2023

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

Haskell 2023

… pages * Demo proposal: 2 pages

There is no requirement that all pages …. In all cases, the list of references is not counted against these page limits …

Artifact Evaluation

all claims of the paper; * well-documented; * future-proof; * easy … of conditional acceptance and the camera-ready deadline. These are the key dates (all dates … the AEC co-chairs as early as possible.

Instructions for All Artifacts …

Student Research Competition

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

All six winners will receive award medals … will receive an additional $500, $300, and $200. All Grand Finalists will receive …

ICFP Programming Contest

… with sizes of any team, during all hours of the contest.

Further enquires …


… a unique experience for all attendants!

ICFP 2023 is pleased to offer a number … to all open sessions (i.e., parallel paper presentations, demonstrations … breaks. * Volunteer garments. * Free admission to all social events.

Please …

Diversity, Equity, and Inclusion

… from more established faculty on all aspects of academic life: e.g., grant writing …

ICFP Papers and Events

… . Submissions are invited on all topics from principles to practice, from foundations to features, and from abstraction to application. The scope includes all …/>) is a Gold Open Access journal publishing research on all aspects of programming …