Mircea · @mircea
19 followers · 20 posts · Server masto.ai
· @francois
1 followers · 12 posts · Server pouet.chapril.org
Julien M. · @julm
485 followers · 4935 posts · Server framapiaf.org

combinators for impure yet hygienic
"The goals of , and are in conflict, which so far has remained unresolved. This paper reports the first approach that simultaneously achieves these goals. We express such as , we change optimizations without rewriting the rest of the generator, and we assure the , as well as of the generated code
okmij.org/ftp/tagless-final/Ta

#WellScopedness #WellTypedness #WellFormedness #LoopTiling #optimizations #StaticAssurances #composability #expressivity #codegeneration #haskell

Last updated 5 years ago