Reconciling Abstraction with High Performance

Reconciling Abstraction with High Performance teaches the reader how to write typed code generators, how to make them modular, and how to gradually introduce domain-specific optimizations with MetaOCaml. Assuming no prior knowledge of MetaOCaml an...