ICFP 2021
Sun 22 - Sat 28 August 2021

0 results

People (3 results)
Talia Ringer

Talia Ringer

University of Illinois at Urbana-Champaign

… vision is a future of verification that is accessible to all programmers, not just …

François-René Rideau

François-René Rideau

Mutual Knowledge Systems, Inc.

… will pick the low-hanging fruits first, but as part of a plan to pick all

Michel Steuwer

Michel Steuwer

University of Edinburgh

… from the University of Münster in Germany.

I am interested in all aspects …

Events (36 results)

Improvements to GHC's parallel garbage collector

HIW 2021 When: Sun 22 Aug 2021 20:44 - 21:06 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 …

Is Functional HPC the Key to Low Carbon Computing? by Sven-Bodo Scholz

FHPNC 2021 When: Sun 22 Aug 2021 22:00 - 23:00

… , the contribution of computing will rise to 14% of all emissions in 2040 already …

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

ML 2021 When: Thu 26 Aug 2021 19:00 - 19:30 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 …

A metalanguage for multi-phase modularity

ML 2021 When: Thu 26 - Fri 27 Aug 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. …

Attending Information (5 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 (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 …

General (13 results)

Scheme 2021 Homepage

… Scheme 2021 Welcome to the website of the Scheme 2021 conference. We are working hard to fill the website with all related information. Please check back soon! b2d8c5a0-7361-475e-ad0e-639a351391b2 …

TyDe 2021 Homepage

… TyDe 2021 Welcome to the website of the TyDe 2021 conference. We are working hard to fill the website with all related information. Please check back soon! cc5e83a2-bd0c-45f4-8503-38740564004f …

PLMW @ ICFP 2021 Homepage

… PLMW @ ICFP 2021 Welcome to the website of the PLMW @ ICFP 2021 conference. We are working hard to fill the website with all related information. Please check back soon! …