ICFP 2020
Sun 23 - Fri 28 August 2020

0 results

People (4 results)
Michael James

Michael James

… …

Shriram Krishnamurthi

Shriram Krishnamurthi

… …

Talia Ringer

Talia Ringer

… …

Events (10 results)

Strongly Bounded Termination with Applications to Security and Hardware Synthesis

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

Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille

Research Papers People: Aaron Stump, Chris Jenkins, Stephan Spahn, Colin McDonald

… statically confirms termination of the program on all inputs. The approach uses … ensures that all programs written against this interface terminate. Standard polymorphic typing is all that is needed to check the code against the interface …

mediKanren: A System for Bio-medical Reasoning

miniKanren 2020 People: Michael Patton, Gregory Rosenblatt, William E. Byrd, Matthew Might

… We introduce \emph{mediKanren}, a combination of miniKanren, a database describing relationships between medical concepts, and a graphical user interface (GUI) to simplify data exploration and common queries. All features of the faster …

Separation Logic for Sequential Programs

Research Papers People: Arthur Charguéraud

… Software Foundations series, with all the statement and proofs formalized …

Attending Information (2 results)

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 …

ICFP Statement on Current Events

… together all members of the functional programming community. We reaffirm …) are available to help. We are committed to fostering a community that allows all

Tracks (15 results)

TyDe 2020

… welcome all contributions, both theoretical and practical, on a range of topics … will strive to accommodate authors from all time zones, e.g. by allowing pre-recorded … of the main conference. Updates will be posted here and sent to all authors …

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 …

Erlang 2020

… .

Update regarding COVID-19

The safety and well-being of all conference … in an all-virtual format this year.*

Jersey City, New Jersey, United States, Sun …

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 …