Programacion declarativa con restricciones sobre tipos de datos algebraicos.

Tesis doctoral de Purificacion Arenas Sanchez El objetivo principal de esta tesis es introducir constructoras de datos algebraicas y restricciones […]

, , , , ,