Generalización de meta-programas con tipado dependiente en Mtac2
Abstract
En este trabajo presentamos un nuevo meta-meta-programa lift que nos provee de una solución semiautomática para la generalización de terminos dependientes monádicos: dado cualquier metaprograma o operador (cómo bind) y una lista de dependencias (las del término que estamos bindeando), genera un nuevo operador que puede ser utilizando en un contexto donde las dependencias son esperadas. Es importante mencionar que utilizamos Mtac2 como su propio metalenguaje.
In this work we present a new meta-meta-program lift that provides a semi-automatic solution to generalization of dependent monadic terms: given any meta-program or operator (like bind) and a list of dependencies (from the term we are binding), it generates a new operator that can be used in a context where such dependencies are expected. It is important to mention that we use Mtac2 as is as its own meta-language.
The following license files are associated with this item: