Luis Caires (IST-INESCID) visited the Department of Informatics at the University of Edinburgh in the context of the BIG project from March 9-15, 2025. The visit aimed to pursue research collaborations and plan future projects, and meeting local faculty. Caires was hosted by Philip Wadler, Laboratory for the Foundation of Computer Science and Senior Area leader for programming languages at IOHK (now Input Output Global), the Blockchain engineering company developing Cardano.
During the stay, Caires delivered two research talks and engaged in discussions on programming language support for systems that manipulate linear object, such as digital assets. Part of this research is related with the development of linear typed languages to safely to enforce safe usage of fungible and non-fungible resources in smart contracts, in particular inspired by the linear typed language CLASS, which was the main topic of Caires LFCS seminar (https://informatics.ed.ac.uk/lfcs/lfcs-seminar-wednesday-12th-march-lus-caires). Research on languages to express and verify assertions on linear resources (a.k.a, digital assets) was also discussed at the PLING seminar.
Both talks were webcasted to a network of university departments in the UK.