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

Artwork

Science Tech Pedro Abreu Type Theory Academia Programming Language

Innehåll tillhandahållet av Pedro Abreu. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Pedro Abreu eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

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

2+ y ago 1:51:39

Dela

MP3•Episod hem

Innehåll tillhandahållet av Pedro Abreu. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Pedro Abreu eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

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 episoder

#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

Dela

MP3•Episod hem

Innehåll tillhandahållet av Pedro Abreu. Allt poddinnehåll inklusive avsnitt, grafik och podcastbeskrivningar laddas upp och tillhandahålls direkt av Pedro Abreu eller deras podcastplattformspartner. Om du tror att någon använder ditt upphovsrättsskyddade verk utan din tillåtelse kan du följa processen som beskrivs här https://sv.player.fm/legal.

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 episoder

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

Todos los episodios

×

Välkommen till Player FM

Player FM scannar webben för högkvalitativa podcasts för dig att njuta av nu direkt. Den är den bästa podcast-appen och den fungerar med Android, Iphone och webben. Bli medlem för att synka prenumerationer mellan enheter.

Lyssna på 500+ ämnen