A Hoare logic for call-by-value functional programs (2008)

by Y Régis-Gianas, F Pottier
Venue:In MPC