Author: Dan Ghica

Leader of the Programming Languages team

Prof. Maribel Fernández (King’s College London) will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. A lunch will be provided after the talk. When: Tuesday 7 June 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link […]

Dr. Dominic Orchard (University of Kent) will give a talk, in person and online, for the Coffee House Tech Talk Series. The details of the talk are below. When: Tuesday 31 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link (https://meeting.zhumu.me/wc/0178099193/join?track_id=&jmf_code=&meeting_result=&tk=&cap=d7cec&prefer=0), everybody […]

Bcc to all staff of UKRD ——————– When: Tuesday 17 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link (https://meeting.zhumu.me/wc/0145848734/join?track_id=&jmf_code=&meeting_result=&tk=&cap=d7cec&prefer=0), everybody is welcome! You can access it from your own browser or Zoom app, without installing anything. Speaker: Paul B. Levy (University of Birmingham)

When: Tuesday 24 May 2022 at 11am (UK time). Where (in person): Room G.03, Bayes Centre (47 Potterrow, Edinburgh EH8 9BT). Where (virtually): Zhumu link: http://imeeting.huawei.com/meeting/join?id=0148144957&app=welink&sectype=0 Speakers: Nobuko Yoshida and Martin Vassor (Imperial College London)

Link: https://meeting.zhumu.me/wc/join/0179880767?tk=&prefer=0&track_id=&meeting_result=&jmf_code=&wpk=   

Time:2022-03-29 11:00 — 12:00 Location:Edinburgh Coffee House Speaker:Dr. Ian Mackie (University of Sussex) Overview ▶ Very simple GOI for System T. ▶ Reversible machinery for higher-order language. ▶ Depending on how we constrain the use of the recursor, this language is rich enough to capture all primitive recursive functions or more generally Gödel’s System T. […]

Making Concurrency Functional by Glynn Winskel   http://arxiv.org/abs/2202.13910   The article bridges between two major paradigms in computation, the functional, at basis computation from input to output, and the interactive, where computation reacts to its environment while underway.  Central to  any compositional theory of interaction is the dichotomy between a system and its environment.  Concurrent […]

James Wood and Robert Atkey. A Framework for Substructural Type Systems. ESOP 2022, to appear. 2022. [BIB] [PDF] Abstract Mechanisation of programming language research is of growing interest, and the act of mechanising type systems and their metatheory is generally becoming easier as new techniques are invented. However, state-of-the-art techniques mostly rely on structurality of the type system — […]

ath.CT String diagrams for non-strict monoidal categories Authors: Paul Wilson, Dan R. Ghica, Fabio Zanasi Abstract: Whereas string diagrams for strict monoidal categories are well understood, and have found application in several fields of Computer Science, graphical formalisms for non-strict monoidal categories are far less studied. In this paper, we provide a presentation by generators and relations of string […]

Effect handlers allow for programming with user-defined computational effects, with applications including custom lightweight concurrency (threads, async-await, actors, generators), error handling, dependency injection, etc. Effect handlers originate from the realm of functional programming, and the main goal of this highly experimental library is to explore how they fit in the more object-oriented setting of C++. The library relies […]

css.php

Report this page

To report inappropriate content on this page, please use the form below. Upon receiving your report, we will be in touch as per the Take Down Policy of the service.

Please note that personal data collected through this form is used and stored for the purposes of processing this report and communication with you.

If you are unable to report a concern about content via this form please contact the Service Owner.

Please enter an email address you wish to be contacted on. Please describe the unacceptable content in sufficient detail to allow us to locate it, and why you consider it to be unacceptable.
By submitting this report, you accept that it is accurate and that fraudulent or nuisance complaints may result in action by the University.

  Cancel