ICFP 2024 (series) / OCaml 2024 (series) / OCaml Users and Developers Workshop 2024 / Recursion schemes in OCaml: An experience report
Recursion schemes in OCaml: An experience reportin-person
Sat 7 Sep 2024 16:22 - 16:45 at Orange 2 - OCaml ecosystem and applications Chair(s): Pierre Chambart
We describe our experience with applying recursion schemes in OCaml to a compiler for a domain-specific language used for modelling financial contracts. We have used recursion schemes successfully to structure our traversals and integrate hash-consing and memoization in a reasonably principled and non-invasive manner.
| Paper (ocaml2024-final3.pdf) | 241KiB |
Tim Williams has been programming computers for more than 40 years and has worked in the finance industry for more than 20 years, the latter half of which he has specialized in applying functional programming languages. He is currently a Quantitative Developer at Bloomberg. He holds a Ph.D. in physics from the University of Bristol.
Sat 7 SepDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
Sat 7 Sep
Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
16:00 - 17:30 | OCaml ecosystem and applicationsOCaml at Orange 2 Chair(s): Pierre Chambart OCamlPRO Live stream: https://www.youtube.com/watch?v=OuQqblCxJ2Y | ||
16:00 22mTalk | Opam 2.2 and beyondin-person OCaml Raja Boujbel OCamlPro, Kate Deplaix Consultant for the OCaml Software Foundation and Ahrefs, David Allsopp Tarides File Attached | ||
16:22 22mTalk | Recursion schemes in OCaml: An experience reportin-person OCaml Tim Williams Bloomberg File Attached | ||
16:45 22mTalk | ChorCaml: Functional Choreographic Programming in OCamlremote OCaml Rokas Urbonas University of Cambridge File Attached | ||
17:07 22mTalk | B · o · B, a universal & secure file-transfer software in OCamlin-person OCaml Romain Calascibetta robur.coop File Attached | ||
