Iowa Type Theory Commute

POPLmark Reloaded, Part 1

Episode Artwork

1.0x

0% played 00:00 00:00

Dec 22 2024 15 mins 22

Other Episodes

I discuss the paper POPLmark Reloaded: Mechanizing Proofs by Logical Relations, which proposes a benchmark problem for mechanizing Programming Language theory.

Download episode Share

Copy URL

Listen on Podcast Addict

Subscribe on Podcast Addict