Month: April 2021

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

Huawei Edinburgh Lab June meeting 2021 Please note that this is highly provisional.  Only the general structure is fixed   Monday 14 June UK Time China time Topic/title Speakers 08:00-08:20 15:00-15:20 Informatics welcome, Huawei Welcome, Lab report Jane Hillston (UoE),  ??? Huawei 13:00-14:30 20:00-21:30 08:20-08:35 15:20-15:35 Development of Huawei Research Center in Edinburgh Zhang Xiaofeng […]

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

The call for proposals for the School of Informatics-Huawei Distinguished Visitor Scheme is now open. The aim of this scheme is to enable internationally renowned academics to visit the School of Informatics. The scheme is generously sponsored by Huawei allows senior academics to conduct research with international peers, in Edinburgh. Typically, visitors will be professors […]

Date/Time: 2021/04/08 This talk will overview how to improve your C++ programs using functional techniques, based on Ivan Cukic book ISBN-10(1617293814). C was born as C with Classes, but the addition of Templates and STL, made C++ a multi-paradigm language. The book goes over Functional Programming features included in the latest C++ implementations C++11,C++14 and […]

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