Fundo Regional da Ciência e Tecnologia
Subscreva a nossa newsletter
Esta é uma presença online oficial do Governo dos Açores
Objectivo
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.