#19 Experience Report: Learning Coq - Patrick And Supun Type Theory Forall podcast

Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Inhoud geleverd door Pedro Abreu. Alle podcastinhoud, inclusief afleveringen, afbeeldingen en podcastbeschrijvingen, wordt rechtstreeks geüpload en geleverd door Pedro Abreu of hun podcastplatformpartner. Als u denkt dat iemand uw auteursrechtelijk beschermde werk zonder uw toestemming gebruikt, kunt u het hier beschreven proces https://nl.player.fm/legal volgen.

Type Theory Forall « »
#19 Experience Report: Learning Coq - Patrick and Supun

2+ y ago 1:51:39

Delen

MP3•Thuis aflevering

Inhoud geleverd door Pedro Abreu. Alle podcastinhoud, inclusief afleveringen, afbeeldingen en podcastbeschrijvingen, wordt rechtstreeks geüpload en geleverd door Pedro Abreu of hun podcastplatformpartner. Als u denkt dat iemand uw auteursrechtelijk beschermde werk zonder uw toestemming gebruikt, kunt u het hier beschreven proces https://nl.player.fm/legal volgen.

In today’s episode I invite two friends of mine Patrick Lafontaine and Supun Abeysinghe. We will talk about their experience learning Coq and we guide ourselves in a survey that I gave all the 83 students in the class. The class was thought by my advisor Benjamin Delaware and I was his TA.

Patrick researches compilers and have done work in particular with Rust. And Supun works more along the lines of machine learning in the context of systems.

… continue reading

82 afleveringen

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Artwork

#19 Experience Report: Learning Coq - Patrick and Supun

Type Theory Forall

27 subscribers

published 2+ y ago

Delen

MP3•Thuis aflevering

Inhoud geleverd door Pedro Abreu. Alle podcastinhoud, inclusief afleveringen, afbeeldingen en podcastbeschrijvingen, wordt rechtstreeks geüpload en geleverd door Pedro Abreu of hun podcastplatformpartner. Als u denkt dat iemand uw auteursrechtelijk beschermde werk zonder uw toestemming gebruikt, kunt u het hier beschreven proces https://nl.player.fm/legal volgen.

In today’s episode I invite two friends of mine Patrick Lafontaine and Supun Abeysinghe. We will talk about their experience learning Coq and we guide ourselves in a survey that I gave all the 83 students in the class. The class was thought by my advisor Benjamin Delaware and I was his TA.

Patrick researches compilers and have done work in particular with Rust. And Supun works more along the lines of machine learning in the context of systems.

… continue reading

82 afleveringen

#Science #Tech #Pedro Abreu #Type Theory #Academia #Programming Language

Alla avsnitt

×

Welkom op Player FM!

Player FM scant het web op podcasts van hoge kwaliteit waarvan u nu kunt genieten. Het is de beste podcast-app en werkt op Android, iPhone en internet. Aanmelden om abonnementen op verschillende apparaten te synchroniseren.

Luister naar 500+ onderwerpen