research
∙
08/16/2023
Types, equations, dimensions and the Pi theorem
The languages of mathematical physics and modelling are endowed with a r...
share
research
∙
02/05/2023
Level-p-complexity of Boolean functions using Thinning, Memoization, and Polynomials
This paper describes a purely functional library for computing level-p-c...
research
∙
08/05/2020
Extensional equality preservation and verified generic programming
In verified generic programming, one cannot exploit the structure of con...
research
∙
06/27/2019
