MAC. Una máquina virtual para el cálculo de ambientes.

MAC fue implementada como trabajo de tésis para la maestría en computación en CINVESTAV. Desde está página es posible descargar tanto la tésis como el código fuente de la implementación

• Un resúmen del trabajo fue aceptado en el Congreso de Ingeniería Eléctrica 2005, organizado por el departamento de ingeniería eléctrica del CINVESTAV, y publicado en las memorias del mismo. Se puede descargar una versión preliminar.
• El trabajo de tésis con la especificación de MAC.
• Un archivo con el código fuente de la implementación, escrita en Haskell.
• Un archivo con los fuentes tanto de la tésis como de la máquina, incluyendo las corridas de ejemplo mostradas en la tésis.