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 Apr 22 00:03:54 2021 CEST.