Travelled to:
1 × Denmark
1 × Spain
Collaborated with:
J.Cheney ∅ U.A.Acar P.B.Levy Weili Fu Paul Anderson 0003 D.Kouzapas O.Dardha S.J.Gay
Talks about:
program (2) mungo (2) typecheck (1) protocol (1) mupuppet (1) interact (1) function (1) configur (1) languag (1) explain (1)
Person: Roly Perera
DBLP: Perera:Roly
Contributed to:
Wrote 4 papers:
- ICFP-2012-PereraACL #functional #source code
- Functional programs that explain their work (RP, UAA, JC, PBL), pp. 365–376.
- PADL-2010-Perera #first-order #interactive #programming
- First-Order Interactive Programming (RP), pp. 186–200.
- ECOOP-2017-FuPAC #declarative #named #set
- muPuppet: A Declarative Subset of the Puppet Configuration Language (WF, RP, PA0, JC), p. 27.
- PPDP-2016-KouzapasDPG #protocol
- Typechecking protocols with Mungo and StMungo (DK, OD, RP, SJG), pp. 146–159.