Search for 'all'
results
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 …
Brooklyn Zelenka
… Brooklyn is the cofounder and CTO at Fission, where her team is building tools that puts local-first principles into the hands of all developers. She founded the Vancouver Functional Programming Meetup, and is the author of several Elixir …
Requirements are All You Need
ICFP Papers and Events When: Tue 3 Sep 2024 09:00 - 10:00 People: Andrew D. Gordon
… …
A Teaching Language for Specification
Scheme 2024 When: Sat 7 Sep 2024 11:00 - 11:30 People: Cameron Moy
… to provide a smooth path from informal specifications all the way to statically …
Typed, Concise, Nanopass (pick 3) (Extended Abstract)
TyDe 2024 When: Fri 6 Sep 2024 16:00 - 16:22 People: Lawrence Chonavel
… Writing maintainable compilers is hard. You might want a typed compiler. You want a nanopass compiler. Your might want a concise compiler. But you can’t have all 3 at once – until you read this paper! …
Bidirectional Data Transformations
FUNARCH 2024 When: Fri 6 Sep 2024 16:00 - 16:45 People: Marcus Crestani, Markus Schlegel, Marco Schneider
… several data structures and formats all the time. Authoring these translations …
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 …
Virtual participation
… offer virtual participation.** All the talks from ICFP and the colocated …
Call For Sponsorship
… all aspects of theory, implementation, and application. Every year, we bring …
- All …
- All …
FARM 2024
… in industry or the arts are all within the scope of the workshop.
In addition …. This performance evening is sponsored and hosted by ICFP, and open to all attendees … are all within the scope of the workshop.
In addition to the main workshop …
Higher-order, Typed, Inferred, Strict: ML Family Workshop 2024
… , Flix, and many others. All ML languages, besides a great deal of syntax, share several fundamental traits. They are all higher-order, mostly pure, and typed … of the workshop includes all aspects of the design, semantics, theory …
TyDe 2024
… welcome all contributions, both theoretical and practical, on a range of topics … welcome all contributions, both theoretical and practical, on a range of topics …://tyde24.hotcrp.com](https://tyde24.hotcrp.com)
All submissions should …
ML 2024 Homepage
… ML 2024 Welcome to the website of the ML 2024 conference. We are working hard to fill the website with all related information. Please check back soon! c0dd7074-3f32-4a7f-afff-0075f3cb7f18 …
PLMW @ ICFP 2024 Homepage
… PLMW @ ICFP 2024 Welcome to the website of the PLMW @ ICFP 2024 conference. We are working hard to fill the website with all related information. Please check back soon! a2d8fd98-62cb-4978-8b74-6ed8aa17a962 …
FUNARCH 2024 Homepage
… FUNARCH 2024 Welcome to the website of the FUNARCH 2024 conference. We are working hard to fill the website with all related information. Please check back soon! 81fca04c-71e5-4473-a5fa-dab5149b749a …