Parallel complexity analysis with temporal session types
Das, Ankush, Hoffmann, Jan, Pfenning, FrankVolume:
2
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3236786
Date:
July, 2018
File:
PDF, 428 KB
2018