research
∙
09/20/2022
A Tool for Describing and Checking Natural Semantics Definitions of Programming Languages
Many universities have courses and projects revolving around compiler or...
share
research
∙
09/06/2022
A Generic Type System for Higher-Order Ψ-calculi
The Higher-Order Ψ-calculus framework (HOΨ) is a generalisation of many ...
research
∙
02/28/2020
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
We present a type-based analysis ensuring memory safety and object proto...
research
∙
08/27/2018