There is an ongoing effort to provide programming abstractions that ease the burden
of exploiting multicore hardware. Many programming abstractions (e.g., concurrent objects, transactional memory, etc.) simplify matters, but still involve
intricate ...

We have the pleasure of celebrating the birthdays of Jane Austen and Arthur C. Clarke by announcing the release of OCaml version 5.0.0. The highlight of this new major version of OCaml is the long-awaited runtime support for shared memory parallelism and…

It is my pleasure to announce that my textbook Introduction to Homotopy Type Theory is finished and available on the ArXiv 🎉

It will be published by Cambridge University Press in the Cambridge Studies in Advanced Mathematics series.

https://arxiv.org/abs/2212.11082

Leslie Lamport revolutionized how computers talk to each other. Now he’s working on how engineers talk to their machines.

<P>In the ten years since the publication of the best-selling first edition, more than 1,000 graph theory papers have been published <EM>each year</EM>. Reflecting these advances, <STRONG>Handbook of Graph Theory, Second Edition</STRONG> provides comprehensive…

A tool for validating Alloy specifications using test-case generation - eskang/validAlloy

Documentation and guides from the team at Fly.io.

An elementary introduction to algebraic effects and handlers, and two different ways of dealing with free variables