by Beniamino Accattoli (INRIA) and Giulio Guerrieri (Huawei Edinburgh, PL team) The denotational semantics of the untyped lambda-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many different ways. In particular, unsolvable terms provide a consistent notion of meaningless term. The semantics of the untyped call-by-value […]

For the Huawei – University of Edinburgh Tech Talk Series, we are organizing a mini-workshop, in person and online, about foundations of programming languages. There are no registration fees. The details of the program and talks are below. A lunch will be provided between the talks. When: Tuesday 26 July 2022, from 11:00 to 14:15. (UK time). Where (in person): […]

WebAssembly (Wasm) is a virtual instruction set architecture designed for portability, performance, safety, and formal rigour. After its initial release, it has seen wide adoption across diverse ecosystems, such as the Web, edge computing, distributed computing, mobile, embedded systems, and others. Recently, release 2.0 of Wasm was published, which represents a step forward towards a […]

Rewriting for monoidal closed categories David Sprunger, Dan Ghica, Fabio Zanasi and Mario Alvarez-Picallo.  This paper develops a formal string diagram language for monoidal closed categories. Previous workhas shown that string diagrams for freely generated symmetric monoidal categories can be viewedas hypergraphs with interfaces, and the axioms of these categories can be realized by rewritingsystems. This work proposes […]

The Theory of Call-by-Value Solvability The denotational semantics of the untyped $\lambda$-calculus is a well developed field built around the concept of solvable terms, which are elegantly characterized in many different ways. In particular, unsolvable terms provide a consistent notion of meaningless term. The semantics of the untyped call-by-value lambda-calculus is instead still in its […]

High-Level Type-Safe Effect Handlers in C++ DAN GHICA, Huawei Research, UK SAM LINDLEY, The University of Edinburgh, UK MARCOS MAROÑAS BRAVO, Huawei Research, UK MACIEJ PIRÓG, Huawei Research, UK Effect handlers allow the programmer to implement computational effects, such as custom error handling, various forms of lightweight concurrency, and dynamic binding, inside the programming language. […]

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)