DMCA

A Hoare Logic for Call-by-Value Functional Programs

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