Había una vez un algoritmo...

Uma Zalakain: teoría de los lenguajes de programación | E-79

March 22, 2022 Episode 79
Había una vez un algoritmo...
Uma Zalakain: teoría de los lenguajes de programación | E-79
Show Notes

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

Support the show