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
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
