ICFP 2021
Sun 22 - Sat 28 August 2021

0 results

People (2 results)
Michel Steuwer

Michel Steuwer

… …

Talia Ringer

Talia Ringer

… …

Events (19 results)

Improvements to GHC's parallel garbage collector

HIW 2021 People: Douglas Wilson

… collections. This requires synchronisation between all threads in the program, which must which must all be stopped before a collection can begin. This synchronisation imposes a significant cost on the runtime on both GHC and all parallel …

A metalanguage for multi-phase modularity

ML 2021 People: Jonathan Sterling, Robert Harper

… Type abstraction, the phase distinction, and computational effects all play an important role in the design and implementation of ML-style module systems. We … as all extant forms of structure sharing. …

Hobbit: A Tool for Contextual Equivalence Checking Using Bisimulation Up-to Techniques

ML 2021 People: Vasileios Koutavas, Yu-Yang Lin, Nikos Tzevelekos

… automatically detect all inequivalences, and is able to automatically or semi-automatically prove many equivalences, including all classical Meyer and Sieber …

The Hera Framework for Fault-Tolerant Sensor Fusion with Erlang and GRiSP on an IoT Network

Erlang 2021 People: Sébastien Kalbusch, Vincent Verpoten, Peter Van Roy

all the computations directly at the sensor-equipped devices themselves …

Attending Information (4 results)

Call For Sponsorship

… programming languages, covering all aspects of theory, implementation … and journal special issue

Silver - $1,500

  • All of the benefits of Bronze …

Gold - $3,000

  • All of the benefits of Silver sponsorship
  • One …

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 …

Registration

… to pay the discounted rate of $10.

There is a single fee for access to all … agreed to cover those costs to ensure that all articles published in PACMPL …

Tracks (21 results)

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

… welcome all contributions, both theoretical and practical, on a range of topics … of program development.

We welcome all contributions, both theoretical …://tyde21.hotcrp.com

All submissions should be in portable document format (PDF …

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 …

General (13 results)

ML 2021 Homepage

… ML 2021 Welcome to the website of the ML 2021 conference. We are working hard to fill the website with all related information. Please check back soon! ed42fe68-55ef-4718-8b23-f78573d9b0aa …

Erlang 2021 Homepage

… Erlang 2021 Welcome to the website of the Erlang 2021 conference. We are working hard to fill the website with all related information. Please check back soon! 837b63cd-4f65-4f3c-a02f-609f00746798 …

miniKanren 2021 Homepage

… miniKanRen 2021 Welcome to the website of the miniKanRen 2021 conference. We are working hard to fill the website with all related information. Please check back soon! 6db2dcf0-66b9-4cfd-8279-ff488942d001 …