
Sign up to save your podcasts
Or
I discuss the paper POPLmark Reloaded: Mechanizing Proofs by Logical Relations, which proposes a benchmark problem for mechanizing Programming Language theory.
5
1717 ratings
I discuss the paper POPLmark Reloaded: Mechanizing Proofs by Logical Relations, which proposes a benchmark problem for mechanizing Programming Language theory.
272 Listeners
90,949 Listeners
30,845 Listeners
108 Listeners
4,142 Listeners
33 Listeners
15,321 Listeners
35 Listeners
13 Listeners
10,556 Listeners
3,286 Listeners
47 Listeners
28 Listeners