Monadic refinements for relational cost analysis

Radicek, Ivan and Barthe, Gilles and Gaboardi, Marco and Garg, Deepak and Zuleger, Florian
(2018) Monadic refinements for relational cost analysis.
PACMPL, 2 (POPL). 36:1–36:32.

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

Actions

Actions (login required)

View Item View Item