A relational logic for higher-order programs

Aguirre, Alejandro and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Strub, Pierre-Yves
(2017) A relational logic for higher-order programs.
PACMPL, 1 (ICFP). 21:1–21:29.

Full text not available from this repository.
Official URL: http://doi.acm.org/10.1145/3110265

Actions

Actions (login required)

View Item View Item