Los autores son:
_ Ing. Ernesto Copello, Asistente Docente de Investigación y Docente de Teoría de la Computación de la Facultad de Ingeniería.
- Dr. Álvaro Tasistro, Catedrático de Teoría de la Computación y Coordinador Académico del Master en Ingeniería (por Investigación) de la Facultad de Ingeniería.
- Ing. Bruno Bianchi, Asistente del Proyecto "Lenguajes y Métodos de Programación en Teoría de Tipos" financiado por el Fondo Clemente Estable, Facultad de Ingeniería.