Takip et
Roly Perera
Roly Perera
University of Cambridge, University of Bristol
cl.cam.ac.uk üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
Functional programs that explain their work
R Perera, UA Acar, J Cheney, PB Levy
Proceedings of the 17th ACM SIGPLAN international conference on Functional …, 2012
682012
A core calculus for provenance
UA Acar, A Ahmed, J Cheney, R Perera
Journal of Computer Security 21 (6), 919-969, 2013
562013
Typechecking protocols with Mungo and StMungo
D Kouzapas, O Dardha, R Perera, SJ Gay
18th International Symposium on Principles and Practice of Declarative …, 2016
552016
Typechecking protocols with Mungo and StMungo: A session type toolchain for Java
D Kouzapas, O Dardha, R Perera, SJ Gay
Science of Computer Programming 155, 52-75, 2018
532018
An analytical survey of provenance sanitization
J Cheney, R Perera
Provenance and Annotation of Data and Processes: 5th International …, 2015
352015
Incremental relational lenses
R Horn, R Perera, J Cheney
Proceedings of the ACM on Programming Languages 2 (ICFP), 1-30, 2018
282018
Imperative functional programs that explain their work
W Ricciotti, J Stolarek, R Perera, J Cheney
Proceedings of the ACM on Programming Languages 1 (ICFP), 1-28, 2017
242017
μPuppet: A Declarative Subset of the Puppet Configuration Language
W Fu, R Perera, P Anderson, J Cheney
31st European Conference on Object-Oriented Programming (ECOOP '17) 74, 1-29, 2017
182017
Proof-relevant π-calculus: a constructive account of concurrency and causality
R Perera, J Cheney
Mathematical Structures in Computer Science 28 (9), 1541-1577, 2018
152018
Causally consistent dynamic slicing
R Perera, D Garg, J Cheney
27th International Conference on Concurrency Theory (CONCUR 2016) 59, 18:1-18:15, 2016
132016
Mungo and StMungo: tools for typechecking protocols in Java
O Dardha, SJ Gay, D Kouzapas, R Perera, AL Voinea, F Weber
River Publishers, 2017
102017
Toward a theory of self-explaining computation
J Cheney, UA Acar, R Perera
In Search of Elegance in the Theory and Practice of Computation 8000, 193-216, 2013
102013
First-order interactive programming
R Perera
Practical Aspects of Declarative Languages: 12th International Symposium …, 2010
92010
Refactoring: to the rubicon... and beyond!
R Perera
Companion to the 19th annual ACM SIGPLAN conference on Object-oriented …, 2004
92004
Multiparty compatibility for concurrent objects
R Perera, J Lange, SJ Gay
PLACES 2016, Eindhoven, Netherlands 211, 73-82, 2016
82016
Interactive functional programming
R Perera
University of Birmingham, 2013
82013
Modular probabilistic models via algebraic effects
M Nguyen, R Perera, M Wang, N Wu
Proceedings of the ACM on Programming Languages 6 (ICFP), 381-410, 2022
72022
Programming languages for interactive computing
R Perera
Electronic Notes in Theoretical Computer Science 203 (3), 35-52, 2008
62008
Linked visualisations via Galois dependencies
R Perera, M Nguyen, T Petricek, M Wang
Proceedings of the ACM on Programming Languages 6 (POPL), 1-29, 2021
42021
A delta-driven execution model for semantic computing
R Perera, J Foster, G Koch
Companion to the 20th annual ACM SIGPLAN conference on Object-oriented …, 2005
42005
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20