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 Thu Sep 18 19:32:30 2025 CEST.