.png)
Érase una vez un algoritmo...
Mi bitácora de reflexiones concernientes a la informática desde una visión técnica, científica y filosófica.
Érase una vez un algoritmo...
Uma Zalakain: teoría de los lenguajes de programación | E-79
•
Episode 79
Uma Zalakain es una estudiante de doctorado en la universidad de Glasgow (Escocia) en el área de teoría de los lenguajes de programación. Conversamos sobre la verificación de software; el valor de la teoría dentro de la programación; por qué aprender programación funcional te ayuda a pensar mejor; y también sobre Agda, un lenguaje de programación funcional.
Sitio web personal: https://umazalakain.info - Twitter: @typer_uma - Curso de Agda: https://youtu.be/iAkzXIbo0Dw