A Hoare Logic for Call-by-Value Functional Programs
by
Yann Régis-gianas
,
François Pottier
| Citations: | 11 - 1 self |
Document Versions
| A Hoare Logic for Call-by-Value Functional Programs –Yann Régis-gianas, François Pottier |
