research
∙
02/25/2022
VLSM: Validating Labelled State Transition and Message Production Systems
In this paper we introduce the notion of a validating labelled state tra...
share
research
∙
02/09/2021
Native Type Theory
We present a method to construct "native" type systems for a broad class...
research
∙
12/05/2018
