A Hoare Logic for Call-by-Value Functional Programs

Cached

Download Links

by Yann Régis-gianas , François Pottier
Citations:14 - 1 self

Document Versions

A Hoare Logic for Call-by-Value Functional Programs –Yann Régis-gianas, François Pottier