MetaML and multi-stage programming with explicit annotations
scientific article; zbMATH DE number 1521801