POPLmark Reloaded, Part 2 Iowa Type Theory Commute podcast

Artwork

Science Tech Math Aaron Stump Programming Language Computational Logic Type Theory Proof Assistants Cedille

Indhold leveret af Aaron Stump. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Aaron Stump eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

Iowa Type Theory Commute »
POPLmark Reloaded, Part 2

7h ago 13:59

Del

MP3•Episode hjem

Indhold leveret af Aaron Stump. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Aaron Stump eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

I continue the discussion of POPLmark Reloaded , discussing the solutions proposed to the benchmark problem. The solutions are in the Beluga, Coq (recently renamed Rocq), and Agda provers.

… continue reading

169 episoder

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Artwork

POPLmark Reloaded, Part 2

Iowa Type Theory Commute

17 subscribers

published 7h ago

Del

MP3•Episode hjem

Indhold leveret af Aaron Stump. Alt podcastindhold inklusive episoder, grafik og podcastbeskrivelser uploades og leveres direkte af Aaron Stump eller deres podcastplatformspartner. Hvis du mener, at nogen bruger dit ophavsretligt beskyttede værk uden din tilladelse, kan du følge processen beskrevet her https://da.player.fm/legal.

I continue the discussion of POPLmark Reloaded , discussing the solutions proposed to the benchmark problem. The solutions are in the Beluga, Coq (recently renamed Rocq), and Agda provers.

… continue reading

169 episoder

#Science #Tech #Math #Aaron Stump #Programming Language #Computational Logic #Type Theory #Proof Assistants #Cedille

Alle episoder

×

Velkommen til Player FM!

Player FM is scanning the web for high-quality podcasts for you to enjoy right now. It's the best podcast app and works on Android, iPhone, and the web. Signup to sync subscriptions across devices.

Lyt til 500+ emner