Confluence Courses

Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs
ACM SIGPLAN via YouTube Degrees of Separation: A Flexible Type System for Data Race Prevention
ACM SIGPLAN via YouTube The Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming
ACM SIGPLAN via YouTube

< Prev Page 5