Modular, composable, typed optimizations in the tagless-final style (2019)okmij.org43 pointsfanf26 years ago