A Hoare Logic for Call-by-Value Functional Programs

Cached

Download Links

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