results

People (2 results)
David Allsopp

David Allsopp

Jane Street

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

Y. Annie Liu

Y. Annie Liu

… …

Events (8 results)

Bimodels and Biorthogonality for Abstract Machines

ICFP Papers People: April Tune, Alex Kavvos

… the CK and CEK machines, all as corollaries. All results are mechanized in Agda. …

Exploring First-Class Constrained Types: Semantics, Type Inference, and a Characterization of Termination

ICFP Papers People: Chun Kit Lam, Florent Ferrari-Dominguez, Lionel Parreaux

… exhibits interesting properties. First, all well-typed FCCT terms terminate under …. Second, all CBN-terminating terms are well-typed in FCCT. Together, these two … approximation by sharing polymorphic instantiations, ensuring termination on all input …

A Catenable, Splittable, Transient Sequence Data Structure

ICFP Papers People: Arthur Charguéraud, François Pottier

… for a one-size-fits-all, general-purpose sequence data structure. …

Coverage Types Modulo Equivalences

ICFP SRC People: Aaryan Prakash, Benjamin Delaware

… they enforce all distinct inputs must be generated. We propose an extension …

Attending Information (1 result)

Call for Sponsorship

… , covering all aspects of theory, implementation, and application. Every year, we … materials and journal special issue

Silver - $5,000

  • All of the benefits … such as banners and posters

Gold - $8,000

  • All of the benefits of Silver …
Tracks (15 results)

Erlang 2026

… . The workshop welcomes contributions related to any and all systems like those mentioned … to any and all systems like those mentioned above.

The workshop aims … - All Bronze sponsorship benefits - Company logo included in conference publicity …

ML Family Workshop 2026

… Caml, Reason ML, Flix, MaPLe, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order ….) The scope of the workshop includes all aspects of the design, semantics …

FARM 2026

… issues, and applications in industry or the arts are all within the scope … evening is co-sponsored and hosted by ICFP and is open to all attendees of ICFP … are all within the scope of the workshop …

General (11 results)

FUNARCH 2026 Homepage

… FUNARCH 2026 Welcome to the website of the FUNARCH 2026 conference. We are working hard to fill the website with all related information. Please check back soon! 4e723412-277d-47b4-8572-a186637cdcd3 …

miniKanren 2026 Homepage

… miniKanren 2026 Welcome to the website of the miniKanren 2026 conference. We are working hard to fill the website with all related information. Please check back soon! 39c6501b-9cec-44ef-96c5-cca9759f0b76 …

PLMW @ ICFP 2026 Homepage

… PLMW 2026 Welcome to the website of the PLMW 2026 conference. We are working hard to fill the website with all related information. Please check back soon! 538633c0-dc23-43f9-9519-bc60354bd6b8 …