Search for 'all'
0 results
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
Mutual Knowledge Systems, Inc.
… will pick the low-hanging fruits first, but as part of a plan to pick all …
Michel Steuwer
University of Edinburgh
… from the University of Münster in Germany.
I am interested in all aspects …
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 …
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. …
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 …
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 …
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 …
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! …