Computational Meta-languages: Theory and Applications