Episode Details

¡Enviáme un mensaje!

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