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

  • State
    Concluded
  • Name
    Gil Silva
  • Home Institution
    University of Lisboa
  • Host Institution
    Carnegie Mellon University
  • Field of Study
    Computer Science

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.