research
∙
08/05/2020
Extensional equality preservation and verified generic programming
In verified generic programming, one cannot exploit the structure of con...
share
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
