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

PDFBIBDOIURL
#xen#cufp#icfp#fp#opensource#conference#ocamllabs
Using functional programming within an industrial product group: perspectives and perceptions

Abstract

No abstract available

Related

Self-hosting email the hard way from your own routable IPv4 block upJun 2026
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.
.plan-26-14: Tracking AI screen time and escaping to pen and paperApr 2026
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.
AoAH Day 21: Complete dynamic HTML5 validation in OCaml and the browserDec 2025
Porting the W3C's Nu HTML Validator from Java to OCaml and running in the browser dynamically
It's time to go post-POSIX at ICFP/SPLASH 2025Oct 2025
VMIL keynote arguing for post-POSIX shared memory interfaces like io_uring in language runtimes for high-performance concurrent computing.
OCaml LabsJan 2012
Building the Xen toolstack using OCamlNov 2010
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