Monte: A Spiritual Successor to E
We introduce Monte, a capability-safe programming language in the style of E and Python. We detail several of Monte’s differences from E, including new syntax, several new interfaces, and a simple module model. In particular, we examine five features and their consequences for secure distributed computing: named arguments, iterators, modules, controllers, and sealed exceptions.
Tue 24 Oct
|10:30 - 11:00|
|11:00 - 11:30|
|11:30 - 12:00|