research
∙
09/15/2022
Coeffects for Sharing and Mutation
In type-and-coeffect systems, contexts are enriched by coeffects modelin...
share
research
∙
08/04/2022
Information Flow Control-by-Construction for an Object-Oriented Language Using Type Modifiers
In security-critical software applications, confidential information mus...
research
∙
10/01/2019
Mμl: The Power of Dynamic Multi-Methods
Multi-methods are a straightforward extension of traditional (single) dy...
research
∙
07/10/2019
CallE: An Effect System for Method Calls
Effect systems are used to statically reason about the effects an expres...
research
∙
04/23/2019
A Syntactic Model of Mutation and Aliasing
Traditionally, semantic models of imperative languages use an auxiliary ...
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
Iteratively Composing Statically Verified Traits
Metaprogramming is often used to programmatically generate faster specia...
research
∙
02/01/2019
Separating Use and Reuse to Improve Both
Context: Trait composition has inspired new research in the area of code...
research
∙
06/30/2018
Flexible recovery of uniqueness and immutability (Extended Version)
We present an imperative object calculus where types are annotated with ...
research
∙
03/15/2018
Tracing sharing in an imperative pure calculus (Extended Version)
We introduce a type and effect system, for an imperative object calculus...
research
∙
03/15/2018