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

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

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

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

FUNARCH 2023

… that all pages are used, and authors are encouraged to strive for brevity …

Scheme 2023

… syntax of the examples used.

Proceedings with the preprints of all presented … on 2023-09-09 (Saturday).

All deadlines are 23:59 UTC-12, anywhere on Earth.

Submission Information

We encourage all kinds of submissions …

OCaml Users and Developers Workshop 2023

… on all aspects related to improving the use or development of the language …

miniKanren 2023

… backward,” performing synthesis, etc.

We want to encourage all kinds …

HIW 2023

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

FHPNC 2023

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

Haskell 2023

… that all pages are used. For example, a functional pearl may be much shorter than 12 pages. In all cases, the list of references is not counted against …

Artifact Evaluation

… as possible, supporting all claims of the paper; * well-documented; * future-proof … (all dates are in the [Anywhere on Earth (AOE / UTC-12) timezone](https … as early as possible.

Instructions for All Artifacts

Artifact …

ICFP Programming Contest

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

Further enquires …

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

The top three Grand Finalists will receive an additional $500, $300, and $200. All

Student Volunteers

… experience for all attendants!

ICFP 2022 is pleased to offer a number of opportunities …

  • A Complimentary Conference Registration, offering access to all open sessions (i.e. … garments.
  • Free admission to all social events.

Please note that Student …

ICFP Research Papers

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