Sciweavers

Share
POPL
2015
ACM

Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant

5 years 4 days ago
Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant
Benjamin Delaware, Clément Pit-Claudel, Jas
Added 16 Apr 2016
Updated 16 Apr 2016
Type Journal
Year 2015
Where POPL
Authors Benjamin Delaware, Clément Pit-Claudel, Jason Gross, Adam Chlipala
Comments (0)
books