Number of items: 1.
Conference or Workshop Item (A Paper)
Turon, Aaron and Thamsborg, Jacob and Ahmed, Amal and Birkedal, Lars and Dreyer, Derek
(2013)
Logical relations for fine-grained concurrency.
This list was generated on Mon Mar 20 00:04:49 2023 CET.