Using functional programming within an industrial product group: perspectives and perceptions
Dave Scott, Richard Sharp, Thomas Gazagnaire, and Anil Madhavapeddy. In Proceedings of the 15th ACM SIGPLAN international conference on Functional programming. .Dave ScottRichard SharpThomas GazagnaireAnil Madhavapeddy
https://anil.recoil.org/papers/2010-icfp-xen10.1145/1863543.1863557image
Abstract
No abstract available
Related
How we refreshed self-hosted Recoil email with our own RIPE-allocated IPv4 block, and deployed Postfix/rspamd/Dovecot to get full SPF/DKIM/DMARC deliverability.
Mythos Preview and the urgent need for internet immune systems, cognitive DDoS and AI screen time for code, a proposal for voluntary disclosure in OCaml, desktop focus and printed papers, iOS misery, GeoTessera 0.8, Ceph at 1.4PB, OCaml CI migration, hardware perf counters for OxCaml, and the FP Launchpad launch at IIT Madras.
Porting the W3C's Nu HTML Validator from Java to OCaml and running in the browser dynamically
VMIL keynote arguing for post-POSIX shared memory interfaces like io_uring in language runtimes for high-performance concurrent computing.
OCaml LabsJan 2012
Our experiences with Xen toolstack in OCaml at ICFP 2010
Using functional programming within an industrial product group: perspectives and perceptionsSep 2010
Paper on experiences writing the Xen control stack in OCaml presented at ICFP 2010.
Xen HypervisorJan 2002