Exploring Popl 23 Conditional Contextual Refinement
Exploring Popl 23 Conditional Contextual Refinement reveals several interesting facts.
- [Session Previews @
- [Session Previews @
- [
- Local
- Tutorial on Iris, a modular foundation for higher-order concurrent separation logic. Recorded live at
In-Depth Information on Popl 23 Conditional Contextual Refinement
[ [ [ Explicit
Paulo Emílio de Vilhena (Inria) François Pottier (Inria, France) Paper: https://dl.acm.org/doi/pdf/10.1145/3434314 User-defined ...
Stay tuned for more updates related to Popl 23 Conditional Contextual Refinement.