Login
From:
okmij.org
(Uncensored)
subscribe
Modular, composable, typed optimizations in the tagless-final style
https://okmij.org/ftp/tagless-final/course/optimizations.html
links
backlinks
Roast topics
Find topics
Find it!
Simplifying the optimization framework in Modular, composable, typed optimizations in the tagless-final style to avoid GADTs. Therefore, it can be re-implemented in the languages (such as SML, etc.) that do not have GADTs.
