Sean T. Allen on Deny Capabilities for Safe, Fast Actors [PWL NYC]
"Deny Capabilities for Safe, Fast Actors (2015)" by Sylvan Clebsch et al. lays out the core novel idea behind the Pony programming language: reference capabilities. Reference capabilities take object capabilities, turn them on their head and then apply them to variable aliases.
Not sure what that means? Sean T. Allen explains Deny Capabilities and how Pony combines them with an actor based model -- to provide a programming environment that allows for data-race freedom and fearless concurrency.
- Paper: http://soft.vub.ac.be/AGERE15/papers/AGERE_2015_paper_10.pdf
- Pony: https://www.ponylang.io/
Sean T. Allen is a member of the core team for the Pony programming language and an all-around swell fella.
Papers We Love NYC would like to thank Datadog (https://www.datadoghq.com/) for making this meetup possible.