ICFP 2024
Mon 2 - Sat 7 September 2024 Milan, Italy

0 results

People (2 results)
David Allsopp

David Allsopp

… …

Brooklyn Zelenka

Brooklyn Zelenka

… …

Events (35 results)

Requirements are All You Need

ICFP Papers and Events People: Andrew D. Gordon

… …

Bidirectional Data Transformations

FUNARCH 2024 People: Marcus Crestani, Markus Schlegel, Marco Schneider

… several data structures and formats all the time. Authoring these translations …

Architecting Functional Programs

FUNARCH 2024 People: Marco Sampellegrini

… is definitely non-technical. Conversations among all parties involved (yes, business …

Is this really a refactoring? Automated equivalence checking for Erlang projects

Erlang People: Bendegúz Seres, Dániel Horpácsi, Simon Thompson

… We present an automated approach to checking whether a change to a repository is a refactoring, implemented in the EquivcheckEr tool. The tool detects the places in which the code has changed, and compares the old and new versions of all

Attending Information (3 results)

Code of Conduct

… for registration and all conference activities. Special circumstances may …/policy-against-discrimination-and-harassment). We expect all the participants … or opportunity for participation at the conference and all associated events …

Call For Sponsorship

all aspects of theory, implementation, and application. Every year, we bring …

  • All
    • All

Local Information

… transportation change.

Where you can buy tickets:

  • All authorized sellers … transport is full contactless. Payment by credit card is available on all buses, trams, and trolleybuses of ATM’s network.

  • You can also buy tickets at all

Tracks (19 results)

FARM 2024

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

In addition …. This performance evening is sponsored and hosted by ICFP, and open to all attendees … are all within the scope of the workshop.

In addition to the main workshop …

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

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

TyDe 2024

… welcome all contributions, both theoretical and practical, on a range of topics … welcome all contributions, both theoretical and practical, on a range of topics …://tyde24.hotcrp.com](https://tyde24.hotcrp.com)

All submissions should …

General (13 results)

FPROPER 2024 Homepage

… FPROPER 2024 Welcome to the website of the FPROPER 2024 conference. We are working hard to fill the website with all related information. Please check back soon! 7017d7f7-8d50-49f2-a1ae-159342253dca …

OCaml 2024 Homepage

… OCaml 2024 Welcome to the website of the OCaml 2024 conference. We are working hard to fill the website with all related information. Please check back soon! 3d95594f-00ee-42bb-8eb2-a0d7690ba8ec …

HIW 2024 Homepage

… HIW 2024 Welcome to the website of the HIW 2024 conference. We are working hard to fill the website with all related information. Please check back soon! 44ee12fc-9724-4e9d-b4e0-3690fc5c2057 …