Intended audience Static analysis enthusiasts Logic programming enthusiasts Origin Recent exp...| blog.waleedkhan.name
MetaOCaml: Ten Years Later. The new staging translation, and, finally, some explanations of the implementation of let-insertion and cross-stage persistence| okmij.org