research
∙
05/02/2022
More Programming Than Programming: Teaching Formal Methods in a Software Engineering Programme
Formal methods for software correctness are critical to the future of so...
share
research
∙
09/15/2021
Dala: A Simple Capability-Based Dynamic Language Design For Data Race-Freedom
Dynamic languages like Erlang, Clojure, JavaScript, and E adopted data-r...
research
∙
10/01/2019
Mμl: The Power of Dynamic Multi-Methods
Multi-methods are a straightforward extension of traditional (single) dy...
research
∙
09/12/2019
Which of My Transient Type Checks Are Not (Almost) Free?
One form of type checking used in gradually typed language is transient ...
research
∙
09/03/2019
Towards Gradual Checking of Reference Capabilities
Concurrent and parallel programming is difficult due to the presence of ...
research
∙
07/10/2019
CallE: An Effect System for Method Calls
Effect systems are used to statically reason about the effects an expres...
research
∙
02/26/2019
Sound Invariant Checking Using Type Modifiers and Object Capabilities
In this paper we use pre existing language support for type modifiers an...
research
∙
02/26/2019