This ART collects some research directions based on the resource machine, including:
- formal models of abstract data types of the resource machine;
- object systems (compositional and transactional);
- selected material of idealized Anoma.
1 Like