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

0 results

People (4 results)
David Allsopp

David Allsopp

Tarides

… Principal Software Engineer at Tarides. Active in OCaml as an opam maintainer and OCaml core developer. Interested in all aspects of OCaml and its ecosystem on Microsoft …

Talia Ringer

Talia Ringer

University of Illinois at Urbana-Champaign

… is a future of verification that is accessible to all programmers, not just to experts. I …

Shriram Krishnamurthi

Shriram Krishnamurthi

Brown University, United States

… I am the Vice President for Programming Languages at Brown University in Providence, RI, USA. I’m not, really, but that’s what it says on my business card.

I believe tropical fruit are superior to all

Events (31 results)

HasChor: Functional Choreographic Programming for All (Artifact)

Artifact Evaluation People: Gan Shen, Shun Kashiwa, Lindsey Kuper

… …

HasChor: Functional Choreographic Programming for All (Functional Pearl)

ICFP Papers and Events When: Tue 5 Sep 2023 15:30 - 16:00 People: Gan Shen, Shun Kashiwa, Lindsey Kuper

… …

Modal FRP for all: Functional reactive programming without space leaks in Haskell

ICFP Papers and Events When: Wed 6 Sep 2023 15:00 - 15:30 People: Patrick Bahr

… …

A R4RS Compliant REPL in 8Kb

Scheme When: Sat 9 Sep 2023 14:00 - 14:30 People: Léonard Oest O'Leary

… conformant Scheme implementation of all time.

Authors :
- Léonard Oest …

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

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 …

Accessibility

… at hobbes@seas.upenn.edu and vz231@cam.ac.uk for all questions and suggestions. …

Tracks (19 results)

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

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

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

FARM 2023

… , and applications in industry or the arts are all within the scope of the workshop … in industry or the arts are all within the scope of the workshop … with their paper (source code, data, videos, images, etc.). Authors retain all

General (14 results)

miniKanren 2023 Homepage

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

HIW 2023 Homepage

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

DeclMed 2023 Homepage

… DeclMed 2023 Welcome to the website of the DeclMed 2023 conference. We are working hard to fill the website with all related information. Please check back soon! a8443c23-6a18-46e4-87b4-9a84d4cdb981 …