- Record: found
- Abstract: found
- Book Chapter: found
Programming Languages and Systems
Time Credits and Time Receipts in Iris
other
April 06 2019
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references13
- Record: found
- Abstract: not found
- Book Chapter: not found
The Essence of Higher-Order Concurrent Separation Logic
Robbert Krebbers, Ralf Jung, Aleš Bizjak … (2017)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
Higher-order ghost state
Ralf Jung, Robbert Krebbers, Lars Birkedal … (2016)
- Record: found
- Abstract: not found
- Conference Proceedings: not found
The essence of monotonic state
Alexandre Pilkiewicz, François Pottier (2011)