Next-generation functional programming language to facilitate safe and efficient parallel programming

  • Estado
    CONCLUÍDO
  • Nome
    Gil Silva
  • Universidade de origem
    Universidade de Lisboa
  • Entidade de acolhimento
    Universidade de Carnegie Mellon
  • Área de estudo
    Computação

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.