Loading...
Images of Roly Perera
(0 from 0 )1
0
0
News
Linked Visualisations via Galois Dependencies - Roly Perera - Events...
www.kent.ac.uk
Seminar of the Programming Languages and Systems research group
Scottish Programming Languages Seminar (SPLS) - SICSA - The Scottish...
www.sicsa.ac.uk
Roly Perera (University of Glasgow) — Behavioural Prototypes Matúš Tejiščák (University of St Andrews) — Erasure in dependently typed ...
Network Profiles
Twitter Profile: Roly Perera (rolyperera)
Location: LFCS, Edinburgh / because you know where you can stick Google Glass
rolyp (Roly Perera) · GitHub
github.com
smaller than the sum of my products. rolyp has 5 repositories available. Follow their code on GitHub.
Interests
lastFM: (ChangoMutney)
male, United Kingdom
Education
Roly Perera - research home page - University of Glasgow
www.dcs.gla.ac.uk
Roly Perera - research home page - University of Glasgow
Projects
Jikes - People
jikes.sourceforge.net
Other Days: Programming Language Trainer Contributions: Language
specification, testing. Name: Roly Perera Email: roly.perera@dynamicaspects.
com. URL: http://www.dynamicaspects.com. Organization: Dynamic Aspects Ltd
Gtk2Hs - A GUI Library for Haskell / [Gtk2hs-users] Problem...
sourceforge.net
From: Roly Perera <rolyp@mp...> :19:14. Hi, I've (apparently) successfully installed gtk2hs-buildtools, glib, gio, pango and ...
Gtk2Hs - A GUI Library for Haskell / Thread: [Gtk2hs-users] Font...
sourceforge.net
Forwarded message From: Roly Perera <rolyp@...> Date: 11 December :33 Subject: Font scaling problem with Pango To: ...
Books & Literature
Roly Perera | XanEdu Customization Platform
www.academicpub.com
Author: Roly Perera. Results. Practical Aspects of Declarative Languages Springer Science+Business Media By: Roly Perera;.
Formal Syntax and Semantics of Java - Google Books
books.google.de
Java, undoubtedly, has its roots in embedded systems and the Web. Nevertheless, it is a fully functional high-level programming language that can provide users...
Practical Aspects of Declarative Languages: 12th International...
books.google.com.ua
This book constitutes the refereed proceedings of the 12th International Symposium on Practical Aspects of Declarative Languages, PADL 2010, held in Madrid,...
Principles of Security and Trust: First International Conference,...
books.google.de
This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia,...
Related Documents
The Newest in Session Types
www.slideshare.net
The new Actor representation in Akka Typed allows formulations that lend themselves to monadic interpretation or introspection. This leads us to explore possib…
Roly Perera - PLDI, ECOOP, Curry On, DEBS, LCTES and ISMM
conf.researchr.org
Country: United Kingdom. Affiliation: University of Edinburgh, UK / University of
Glasgow, UK. Personal website: http://dynamicaspects.org. PLDI, ECOOP, Curry
On, DEBS, LCTES and ISMM Activities. Author of μPuppet: A Declarative Subset
of the ...
[ v1] Modular Probabilistic Models via Algebraic ...
arxiv.org
· Modular Probabilistic Models via Algebraic Effects. Authors: Minh Nguyen, Roly Perera, Meng Wang, Nicolas Wu. Download PDF. Abstract: Probabilistic programming languages (PPLs) allow programmers to construct statistical models and then simulate data or perform inference over them. Many PPLs restrict models to a particular instance of simulation ...
Perera, Roly [WorldCat Identities]
www.worldcat.org
View works by Roly Perera Publications about Roly Perera Publications by Roly Perera off 0 Publications by Roly Perera off ...
Publications
Behavioural Prototypes : Roly Perera : Free Download ...
archive.org
We sketch a simple language of concurrent objects which explores the design space between type systems and continuous testing. In our language, programs are...
Liveness for Verification : Roly Perera : Free Download ...
archive.org
We explore the use of liveness for interactive program verification for a simple concurrent object language. Our experimental IDE integrates two (formally...
Reports & Statements
Google Groups: Java tools company seeks development team members ...
: Roly Perera borland public jbuilder compiler borland
Google Groups: A modest proposal
: Roly Perera .co.uk comp lang lisp Robert Munyer
Google Groups: Java Bug Report #3
: Roly Perera comp lang java gui billyboard postings The latest
Re: [Haskell-cafe] Re: Kleisli composition operator
www.mail-archive.com
Am Sonntag, 3. August :52 schrieb Roly Perera: > > I'm obviously missing something basic here but I don't seem to be able to > > use ...
Miscellaneous
Roly Perera - Google Scholar
scholar.google.co.uk
Roly Perera. The Alan Turing Institute · University of Bristol. Verified email at dynamicaspects.org - Homepage. programming languages provenance. Articles Cited by Public access Co-authors. Title. Sort. Sort by citations Sort by year Sort by title. Cited by. Cited by. Year; Functional programs that explain their work. R Perera, UA Acar, J Cheney, PB Levy . Proceedings of the 17th ACM …
Umut A. Acar - Google Acadêmico
scholar.google.com.br
Carnegie Mellon University, Department of Computer Science - Citado por
Who is Roly Perera? - About Roly Perera contact, photos
whoisabout.net
? Roly Perera Image. Roly Perera picture, photo. Roly Perera Profile. Birthday: E-
Mail: Phone Number: -; Place Lived: University: Job: Advertorials. Roly Perera
Popularity. 0. Following. 1. Followers Trends. Roly Perera trend graphics ...
Info über Roly Perera | Flickr
www.flickr.com
Flickr ist die wahrscheinlich beste Online-Fotoplattform der Welt. Präsentieren Sie der ganzen Welt Ihre Lieblingsfotos, zeigen Sie sicher und privat Ihren...
Main / Roly Perera
program-transformation.org
Roly Perera. Program-Transformation.Org. Name: Roly Perera; Email: roly.perera @ergnosis.com; Homepage: www.ergnosis.com; Country: United Kingdom ...
Roly Perera - MARC.info
marc.info
Viewing messages posted by 'Roly Perera <roly.perera () dynamicaspects ! org>' (12 msg) [1] [Haskell-cafe] Problem installing svgcairo haskell-c ...
Roly Perera - Ratings & Reviews - MUBI
mubi.com
Watch truly great cinema. Wherever you are. With no ads. Ever. From new directors to award-winners. Beautiful, interesting, incredible movies — a new film...
au:Perera_R in:cs - SciRate Search
scirate.com
Security is likely becoming a critical factor in the future adoption of provenance technology, because of the risk of inadvertent disclosure of sensitive information.
Roly Perera
dynamicaspects.org
I'm a research associate at LFCS, School of Informatics, University of Edinburgh. I 'm a member of the Programming Languages and Foundations group, where I ...
Object-Oriented Programming, Systems, Languages & Applications
www.oopsla.org
All Demonstrations. 1 Refactoring: To the Rubicon...and Beyond! Roly Perera, Russ Freeman, Phil Webb. Tuesday, 10:30, 45 minutes, Courtyard, Demo room 1.
A core calculus for provenance - IOS Press
content.iospress.com
Provenance is an increasing concern due to the ongoing revolution in sharing and processing scientific data on the Web and in other computer systems. It is...
POPL POPL Research Papers - POPL 2022
popl22.sigplan.org
· Roly Perera Alan Turing Institute, Minh Nguyen University of Bristol, Tomas Petricek University of Kent, Meng Wang University of Bristol. DOI Media Attached: 15: :20. Metaprogramming POPL at Salon III Chair(s): Stephanie Weirich University of Pennsylvania. 15: m. Research paper. Staging with Class: A Specification for Typed Template Haskell …
ArticleS.MichaelFeathers.ThingsHappeningAtOopsla
butunclebob.com
I'm also looking forward to meeting Jonathan Edwards, designer of Subtext and Roly Perera from Dynamic Aspects. They are working in an ...
Refactoring-oriented software engineering in Python ...
speakerdeck.com
· Roly Perera August 25, Programming Refactoring-oriented software engineering in Python. I present an approach to software engineering based on refactoring (behaviour-preserving program changes). In this approach the majority of coding effort for a new feature goes not into changing behaviour but into design alterations that make the feature easy …
EPTCS 185: Logical Frameworks and Meta Languages: Theory and Practice
cgi.cse.unsw.edu.au
Roly Perera and James Cheney, 46. Equations for Hereditary Substitution in Leivant's Predicative System F: A Case Study Cyprien Mangin and ...
ICFP : The 17th ACM SIGPLAN International Conference on...
icfpconference.org
... and Derek Dreyer and Deepak Garg (MPI-SWS); Functional Programs that Explain their Work: Roly Perera and Umut A. Acar (Max Planck Institute for Software ...
Schedule
provenanceweek.dlr.de
James Cheney and Roly Perera. A Provenance-aware Policy Control Framework for Creating Provenance-aware Services. Mufajjul Ali and Luc Moreau.
Proof-relevant π-calculus: a constructive account of concurrency and...
www.cambridge.org
Proof-relevant π-calculus: a constructive account of concurrency and causality - Volume 28 Issue 9
James Cheney : Publications
homepages.inf.ed.ac.uk
A core calculus for provenance, Umut A. Acar, Amal Ahmed, James Cheney and Roly Perera. Journal of Computer Security 21(6): , (Special Issue ...
SPLS, Wednesday 21 October at the University of Edinburgh
www.simonjf.com
Quoted Domain-Specific Languages, an Interesting Spot in the Design Space; Roly Perera (University of Glasgow) -- Behavioural Prototypes; Matúš Tejiščák (
University of St Andrews) -- Erasure in dependently typed functional ...
Related search requests for Roly Perera
Alan Turing Amal Ahmed Peter Bertelsen | Meng Wang |
Person "Perera" (16) Forename "Roly" (200) Name "Perera" (4744) |
sorted by relevance / date