Author: Dan Ghica

Leader of the Programming Languages team

The Programming Language Laboratory of the Huawei Edinburgh Research Centre are delighted to start a new research project with Prof. Phil Wadler from the University of Edinburgh on the topic of type systems for effect handlers.  The project will focus on simplifications static scoping of algebraic effect handlers and on developing gradual types for the […]

OpenMP Taskloop Dependences Authors   Marcos Maroñas Bravo (Huawei Edinburgh RC, Programming Languages team) Xavier Teruel Vicenç Beltran Abstract Exascale systems will contain multicore/manycore processors with high core count in each node. Therefore, using a model that relaxes the synchronization, such as data-flow, is crucial to adequately exploit the potential of the hardware. The flexibility of the […]

Our new team member Giulio is giving an invited talk at LSFA, an FSCD-associated workshop. More details on the workshop web page: Understanding the lambda-calculus via (non-)linearity and rewriting.Abstract: The lambda-calculus is the model of computation underlying functional programming languages and proof assistants. Actually, there are many lambda-calculi, depending on the evaluation mechanism (e.g., […]

Speaker: Prof. Vincent Danos, Ecole Normale Paris Title: “Decentralised Finance the Old and the New” Date/Time: 2021/06/17 9:30 Recording: Abstract What is so special about decentralised finance? What kind of assets are traded and what is their fundamental value? What kind of basic financial primitives are available, and can they be combined? We will […]

Our research intern Todd Waugh Ambridge will present the paper Global Optimisation with Constructive Reals at the ACM/IEEE Symposium on Logic in Computer Science. Abstract—We draw new connections between deterministic, complete, and general global optimisation of continuous functions and a generalised notion of regression, using constructive type theory and computable real numbers. Using this foundation we […]

Data-with-a-hole-in-it: differential operators on data structures Thursday June 3 from 9.30 am This talk is a tutorial on the differential calculus, applied to the algebraic structure of data. Container-like data types can be seen as generalised polynomials over their element types. Differential operators act on those polynomials to give notions of “focus” or “cursor”, splitting […]

2021/05/20 There is a glaring gap in data exploration tools. On the one hand, there are spreadsheets, which are easy to use, but are error-prone and limited. On the other hand, there are programmatic tools, which offer unlimited flexibility, but require expert programming skills. Can we get the best from both worlds and build tools […]

We are delighted to welcome Prof. Glynn Winskel, pioneer of semantics of programming languages and theories of concurrency, to the Programming Languages team as Chief Scientist.

Time: Thursday, 29 April 2021, 9:30 Edinburgh time (UTC+1) Abstract: We’ll tour my Nominal techniques Haskell package, which provides easy access to types and type classes with nominal-style binding. Why do you need this?  Because it lets you program and reason on name-like data (e.g. variable symbols, pointers, links), and binding (e.g. name-binding, hiding, locality) at […]

About Huawei Research and Development UK Limited Huawei’s vision is to enhance the lives of humanity and improve the environment by building a fully connected and intelligent world. Huawei has the largest R&D organisation in the world with 80,000 employees in research centres around the globe. In the UK, we already have design centres in […]


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.