Síntesis deductiva de programas

Sistema de tipos dependientes

Sistema donde los tipos pueden depender de valores, permitiendo expresar propiedades complejas directamente en el sistema de tipos y asegurar la corrección a nivel de tipado.

← Volver