Papers tagged capabilities An Introduction to Capsicum Effects as Capabilities: Effect Handling in Haskell Kernohan: A High-Integrity, High-Assurance Microkernel for Embedded Systems Browse All Keywords By Category
