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 […]

Huawei Edinburgh Lab December meeting 2021   Monday 13 December UK Time China time Topic/title Speakers 08:00-08:10 16:00-16:10 Informatics welcome, Huawei Welcome, Lab report Jane Hillston (UoE) 08:10-08:25 16:10-16:25 Development of Huawei Research Center in Edinburgh Li Bo (Huawei) 08:25-08:40 16:25-16:40 Workshop organisation Peter Buneman (UoE) 08:40-09:30 16:40-17:30 Semantic Parsing for Conversational Question-Answering (Abstract/Bio) Mark […]

Abstract The recent development of IoT and smart spaces demand the availability of location context in every device and everywhere. However, improving the user’s experience under the “smart” schema contradicts the tedious calibration commonly operated to enable indoor positioning. Until now, modelling signal propagation, such as Bluetooth and WiFi, set the pillars for indoor positioning […]