I work in the design and implementation of programming languages equating isomorphic types, in the LoReL group.
Director: Alejandro Díaz-Caro. Co-director: Pablo E. "Fidel" Martínez López.
Taught courses: Functional Programming, Data Structures, Introduction to Programming, Logic and Programming Elements