( en | de | ru )

 

Disambiguation of "Perera, Roly"

Author of the publication

copydeleteadd this publication to your clipboard
Linked visualisations via Galois dependencies

, , , and . (2021)cite arxiv:2109.00445Comment: Extended paper with additional supporting material.

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sarah Perera

Arshan Perera

Roland Perera

Nadine Perera

Frank Perera

 

Other publications of authors with the same name

A core calculus for provenance., , , and . J. Comput. Secur., 21 (6): 919-969 (2013)Effects and Effect Handlers for Programmable Inference., , , and . CoRR, (2023)Beyond the language workbench: a runtime platform for practical semantic computing., and . OOPSLA Companion, page 96-97. ACM, (2005)Toward a Theory of Self-explaining Computation., , and . In Search of Elegance in the Theory and Practice of Computation, volume 8000 of Lecture Notes in Computer Science, page 193-216. Springer, (2013)The meaning of a program change is a change to the program's meaning.. CoRR, (2019)First-Order Interactive Programming.. PADL, volume 5937 of Lecture Notes in Computer Science, page 186-200. Springer, (2010)A delta-driven execution model for semantic computing., and . OOPSLA Companion, page 202-204. ACM, (2005)Programming Languages For Interactive Computing.. FInCo@ETAPS, volume 203 of Electronic Notes in Theoretical Computer Science, page 35-52. Elsevier, (2007)A Core Calculus for Provenance., , , and . POST, volume 7215 of Lecture Notes in Computer Science, page 410-429. Springer, (2012)muPuppet: A Declarative Subset of the Puppet Configuration Language., , , and . ECOOP, volume 74 of LIPIcs, page 12:1-12:27. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)