ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States

0 results

People (5 results)
David Allsopp

David Allsopp

… …

Talia Ringer

Talia Ringer

… …

Marco T Morazan

Marco T Morazan

… …

Attending Information (2 results)

Call For Sponsorship

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

Silver - $4,000

  • All of the benefits of Bronze … - $7,500

  • All of the benefits of Silver sponsorship

  • One additional …

Accessibility

… and vz231@cam.ac.uk for all questions and suggestions. …

Tracks (17 results)

Higher-order, Typed, Inferred, Strict: ML Family Workshop 2023

… 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 …, metaprogramming, etc.) The scope of the workshop includes all aspects of the design …

FARM 2023

… , and applications in industry or the arts are all within the scope of the workshop …, implementation issues, and applications in industry or the arts are all within the scope …, etc.). Authors retain all rights to the auxiliary material.

Demos …

TyDe 2023

… .

We welcome all contributions, both theoretical and practical, on a range ... development.

We welcome all contributions, both theoretical and practical ...

All submissions should be in portable document format (PDF) and formatted using ...

General (14 results)

FARM 2023 Homepage

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

FHPNC 2023 Homepage

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

OCaml 2023 Homepage

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