Number of items: 1.
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.
This list was generated on Wed Aug 6 06:59:59 2025 CEST.