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

What this episode covers

¡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/iAk...

NOW PLAYING

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

Et Merdre ! Martin Poirot Et Merdre ! Votre émission vivante consacrée aux spectacles du même genre !Découverte des coulisses de toute les formes de créations artistiques du spectacle vivant : mise en scène, scénographie, jeu, écriture, expositions... Dans chaque émission retrouvez un artiste, un spectacle, un lieu, ou un festival. Aussi disponible en vidéo sur YouTubeUne émission animée par Martin PoirotRéalisée par Zachary GuerenneurIllustrée par Carole MarietHébergé par Ausha. Visitez ausha.co/fr/politique-de-confidentialite pour plus d'informations. Zero Așteptări Paul Puscas Podcastul nostru, este un refugiu de pace și introspecție în tumultul cotidian și în mijlocul așteptărilor adesea nerealiste ale societății. Ne-am dedicat acest spațiu digital pentru a oferi o platformă celor care doresc să exploreze diverse perspective și să participe la discuții deschise, autentice, fără prejudecăți sau anticipații predeterminate. Fiecare episod pe care îl lansăm este o invitație la reflecție și explorare personală, acoperind o gamă largă de subiecte, de la dezvoltare personală și spiritualitate, la cultură, artă și știință, prezentate întotdeauna într-o manieră acc Temps de Dol Temps de Dol Soy 1 de 4. Lo he sido dos veces. Aquí te traigo mi tiempo de duelo para que, si también estás transitando un proceso de duelo gestacional sepas que no estás sola. Hablemos. Escuchemos. Visibilicemos. Y, sobretodo, acompañemos. Podcast de Leyendo Ciencia Ficción Leyendo Ciencia Ficción Un podcast sobre literatura de ciencia ficción de cualquier época.

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.

What is this episode about?

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

Yes, you can download this episode by clicking the download button on the episode player, or subscribe to the podcast in your preferred podcast app for automatic downloads.

URL copied to clipboard!