Search for 'all'
results
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
… …
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 …
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 …
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 …
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 …