Convergent types for shared memory - Brandão, José Pedro Maia (2019)
Dissertação de mestrado em Computer Science