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 [
[
Stay tuned for more updates related to Popl 23 Conditional Contextual Refinement.