research
∙
04/26/2019
A certifying extraction with time bounds from Coq to call-by-value λ-calculus
We provide a plugin extracting Coq functions of simple polymorphic types...
research
∙
02/20/2019
The Weak Call-By-Value λ-Calculus is Reasonable for Both Time and Space
We study the weak call-by-value λ-calculus as a model for computational ...
research
∙
06/08/2018