research
∙
09/06/2023
Reference Capabilities for Flexible Memory Management: Extended Version
Verona is a concurrent object-oriented programming language that organis...
share
research
∙
06/08/2019
Mastery Learning-Like Teaching with Achievements
This paper describes the design of a second-year, 20 ECTS credit course ...
research
∙
05/31/2019
Reference Capabilities for Safe Parallel Array Programming
The array is a fundamental data structure that provides an efficient way...
research
∙
07/26/2018
