You Don't Need Matrix Calculus

Higher-Order Leak and Deadlock Free Locks