Michalis A. Papakyriakou

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Niki Vazou, Michalis A. Papakyriakou, Nikolaos Papaspyrou
Memory Safety and Race Freedom in Concurrent Programming Languages with Linear Capabilities. FedCSIS (2011)
Georgios Korfiatis, Michalis A. Papakyriakou, Nikolaos Papaspyrou
A Type and Effect System for Implementing Functional Arrays with Destructive Updates. FedCSIS (2011)
Michael Lampis, Kyriakos G. Ginis, Michalis A. Papakyriakou, Nikolaos S. Papaspyrou
Quantum Data and Control Made Easier. Electron. Notes Theor. Comput. Sci. 210 (2008)