research
∙
08/23/2019
Conflict vs Causality in Event Structures
Event structures are one of the best known models for concurrency. Many ...
research
∙
11/24/2018
Three Euler's Sieves and a Fast Prime Generator (Functional Pearl)
The Euler's Sieve refines the Sieve of Eratosthenes to compute prime num...
research
∙
07/31/2018