A type checking algorithm for concurrent object protocols
Padovani, LucaVolume:
100
Language:
english
Journal:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2018.06.001
Date:
November, 2018
File:
PDF, 611 KB
english, 2018