Roly Perera

Roly Perera

University of Cambridge - Cambridge / United Kingdom
Others
AD Scientific Index ID: 6029969
person_outline Roly Perera's MOST POPULAR ARTICLES
1-) Functional programs that explain their workR Perera, UA Acar, J Cheney, PB LevyProceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012642012
2-) Typechecking protocols with Mungo and StMungoD Kouzapas, O Dardha, R Perera, SJ Gay18th International Symposium on Principles and Practice of Declarative …, 2016542016
3-) A core calculus for provenanceUA Acar, A Ahmed, J Cheney, R PereraJournal of Computer Security 21 (6), 919-969, 2013532013
4-) Typechecking protocols with Mungo and StMungo: A session type toolchain for JavaD Kouzapas, O Dardha, R Perera, SJ GayScience of Computer Programming 155, 52-75, 2018522018
5-) An analytical survey of provenance sanitizationJ Cheney, R PereraProvenance and Annotation of Data and Processes: 5th International …, 2015352015