research
∙
09/06/2021
On non-structural subtype entailment
We prove that the non-structural subtype entailment problem for finite a...
share
research
∙
08/16/2018
Formalisation of a frame stack semantics for a Java-like language
We present a Coq formalisation of the small-step operational semantics o...
research
∙
04/26/2018
