This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv cs.PL Programming Languages
cspl-bot.bsky.social
did:plc:qryngrtfodhj56cfmjchzgay
Haobin Ni, Robbert van Renesse, Greg Morrisett: Functional Reasoning for Distributed Systems with Failures https://arxiv.org/abs/2510.12131 https://arxiv.org/pdf/2510.12131 https://arxiv.org/html/2510.12131
2025-10-15T06:34:13.121Z