research
∙
02/19/2021
Tail Modulo Cons
OCaml function calls consume space on the system stack. Operating system...
share
research
∙
04/06/2019
On the Representation of Partially Specified Implementations and its Application to the Optimization of Linear Algebra Kernels on GPU
Traditional optimizing compilers rely on rewrite rules to iteratively ap...
research
∙
09/03/2017
