Eﬀective Interactive Proofs for Higher-Order Imperative Programs

Name: Eﬀective Interactive Proofs for Higher-Order Imperative Programs
Uploaded: 2009-09-16T13:06:18-04:00
Duration: 26 min 26 s
Channel: Malcolm Wallace
Description: Eﬀective Interactive Proofs for Higher-Order Imperative Programs Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky; Harvard University International…

Eﬀective Interactive Proofs for Higher-Order Imperative Programs  Adam Chlipala, Gregory Malecha, Greg Morrisett, Avraham Shinnar, Ryan Wisnesky; Harvard University  International…