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
Stony Brook University
… from Cornell University, all in Computer Science.
Annie Liu’s Design …
Discussion: All for one and none for all
miniKanren 2026 When: Mon 24 Aug 2026 14:30 - 14:45
… …
All for one and none forall: Compiling polymorphic relations without monomorphization
miniKanren 2026 When: Mon 24 Aug 2026 14:00 - 14:30 People: Dmitri Volkov, Chung-chieh Shan, Yafei Yang
… …
Writing Makes the Researcher: The First Audience Is You
PLMW @ ICFP 2026 When: Mon 24 Aug 2026 14:00 - 14:45 People: Benjamin Delaware
… advisor (to learn to ask your own). In all three cases, the writing is targeted …
Reduction Semantics and How to Read Them
PLMW @ ICFP 2026 When: Mon 24 Aug 2026 14:45 - 15:30 People: Robert Bruce Findler
… , exceptions and continuations) are all just a matter of using the basic tools …
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 …
Information for Session Chairs
… Volunteers** will manage the in-room audio, projection, streaming, and recording, all …
Information for Presenters
… ).
Information for All Presenters
- We strongly recommend the use of a **16 …. You now have access to all the required Presenter channels.
- For ease … Committee. If are multiple presenters in your talk, please make sure all of them …
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 …