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 Sat May 10 02:27:13 2025 CEST.