Pony: Co-Designing a Type System and a Runtime
Pony is an actor-model, capabilities-secure, native programming language. I will talk about reference capabilities (a type system for data-race freedom influenced by object capabilities and deny guarantee reasoning), the ORCA and MAC protocols for fully concurrent no-stop-the-world garbage collection of both objects and actors, and extending Pony to the distributed setting.
- Date:
- Speakers:
- Sylvan Clebsch
- Affiliation:
- Imperial College London
-
-
Ben Ryon
-
-