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

¡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/iAkzXIbo0DwSupport the show

Episode metadata supplied by the publisher feed · Published Mar 22, 2022

Embed this episode

Attribution link and audio player

NOW PLAYING

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

0:00 1:02:37

1×

No transcript for this episode yet

We transcribe on demand. Request one and we'll notify you when it's ready — usually under 10 minutes.

Share this episode

Similar Episodes

No similar episodes found.

Similar Podcasts

No similar podcasts found.

Frequently Asked Questions

How long is this episode of Érase una vez un algoritmo...?

This episode is 1 hour and 2 minutes long.

When was this Érase una vez un algoritmo... episode published?

This episode was published on March 22, 2022.

Can I download this Érase una vez un algoritmo... episode?

Yes. Use the download control on the episode player to save the publisher-provided media file.

URL copied to clipboard!