Regional Science and Technology Fund
Subscribe our newsletter
Esta é uma presença online oficial do Governo dos Açores
Objective
The project aims to advance programming languages and type systems that enable developers to write safe and reliable concurrent software. It focuses on designing a next-generation functional programming language to facilitate safe and efficient parallel programming, leveraging dependent and refinement type systems to improve program verification and compiler optimisation.