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 May 29 20:47:23 2025 CEST.