Write a Blog >>
ICFP 2020
Thu 20 - Fri 28 August 2020

0 results

People (5 results)
Michael B. James

Michael B. James

University of California, San Diego

… to help other engineers and make programming easier for all. …

Martin Henz

Martin Henz

National University of Singapore

… and quests, all designed for enhancing their understanding the structure … with the Source Academy, is currently used by all computer science freshmen …

Michel Steuwer

Michel Steuwer

The University of Edinburgh

… from the University of Münster in Germany.

I am interested in all aspects …

Events (27 results)

Experience Report on Solving the Problem Set of SICP completely.

Scheme 2020 When: Fri 28 Aug 2020 15:00 - 15:30 People: Vladimir Nikishkin

… as the more challenging, would be to solve all of the problems it gives to the potential students.

We solve all of them, more than 350 in total (as well re-typeset …

Strongly Bounded Termination with Applications to Security and Hardware Synthesis

TyDe 2020 When: Sun 23 Aug 2020 16:00 - 16:30 People: Thomas Reynolds, William Harrison, Rohit Chadha, Gerard Allwein

… Termination checking is a classic static analysis, and, within this focus, there are type-based approaches that formalize termination analysis as type systems (i.e., so that all well-typed programs terminate). But there are situations …

Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

HOPE 2020 When: Sun 23 Aug 2020 10:45 - 11:30 People: Patrick Bahr, Christian Uldal Graulund, Rasmus Ejlers Møgelberg

… Functional reactive programming (FRP) is a paradigm for programming with signals and events, allowing the user to describe reactive programs on a high level of abstraction. For this to make sense, an FRP language must ensure that all

Higher-order Programming with Effects and Handlers — without First-Class Functions

HOPE 2020 When: Sun 23 Aug 2020 12:00 - 12:45 People: Jonathan Immanuel Brachthäuser, Philipp Schuster

… and treat all functions as second-class. While Effekt supports higher-order …

Attending Information (5 results)


… with stimulating technical talks, discussion sessions with authors, social events of all shapes and sizes, workshops before and after, and the all-important announcement … programmers from everywhere** without asking half the world to stay up all

Call For Sponsorship

… programming languages, covering all aspects of theory, implementation … - $1,500

  • All of the benefits of Bronze sponsorship
  • One complimentary 3-day … messaging system

Gold - $3,000

  • All of the benefits of Silver …

Code of Conduct

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


… and all applications have been processed. If you have not yet received … membership.

There is a single fee for access to all events during August … those costs to ensure that all articles published in PACMPL are available …

Tracks (17 results)

TyDe 2020

… welcome all contributions, both theoretical and practical, on a range of topics …=PLyrlk8Xaylp63TV8z8yZb79BNzFse9wVO) for all consenting presenters are now available … types as a means of program development.

We welcome all contributions, both …

Erlang 2020

… Scholarships that cover the cost of full tickets for the Erlang workshop and all … to protect the anonymity of applicants; all application data will only be used ….

All applicants will be notified via email with conference registration details …

ML 2020

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

General (15 results)

FARM 2020 Homepage

… FARM 2020 Welcome to the website of the FARM 2020 conference. We are working hard to fill the website with all related information. Please check back soon … to fill the website with all related information. Please check back soon …

HIW 2020 Homepage

… HIW 2020 Welcome to the website of the HIW 2020 conference. We are working hard to fill the website with all related information. Please check back soon! f4deebcf-aa02-4a7a-b117-0b86980f1eec …

FPE 2020 Homepage

… FPE 2020 Welcome to the website of the FPE 2020 conference. We are working hard to fill the website with all related information. Please check back soon! bd246227-8368-4a6c-b977-bb986c2624ab …