Some Advanced Examples In DCS 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 « »
Some advanced examples in DCS

2y ago 23:16

Del

MP3•Episode hjem

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on November 14, 2025 23:41 (1M ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

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.

This episode presents two somewhat more advanced examples in DCS. They are Harper's continuation-based regular-expression matcher, and Bird's quickmin, which finds the least natural number not in a given list of distinct natural numbers, in linear time. I explain these examples in detail and then discuss how they are implemented in DCS, which ensures that they are terminating on all inputs.

… continue reading

179 episoder

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

Artwork

Some advanced examples in DCS

Iowa Type Theory Commute

14 subscribers

published 2y ago

Del

MP3•Episode hjem

Fetch error

Hmmm there seems to be a problem fetching this series right now. Last successful fetch was on November 14, 2025 23:41 (1M ago)

What now? This series will be checked again in the next day. If you believe it should be working, please verify the publisher's feed link below is valid and includes actual episode links. You can contact support to request the feed be immediately fetched.

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.

This episode presents two somewhat more advanced examples in DCS. They are Harper's continuation-based regular-expression matcher, and Bird's quickmin, which finds the least natural number not in a given list of distinct natural numbers, in linear time. I explain these examples in detail and then discuss how they are implemented in DCS, which ensures that they are terminating on all inputs.

… continue reading

179 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

Lyt til dette show, mens du udforsker