Multi Stage Programming Its Theory and Applications by Walid Taha
File Type :PDF Number of Pages :182
Description This note covers
the following topics: practice of Multi-Stage Programming, theory of Multi-Stage
Programming, Big-Step Semantics, Type Systems, and Closedness, Reduction
Semantics.
|