Research

This page details some of our projects across our four core areas of programming languages research: Parallelism, Functional Programming, Healthcare and Dependent Types. Where appropriate key contacts, funding information and related papers are provided.

Dependent Types

Idris

Functional Programming

TeamPlay

Healthcare

Serums

Parallelism

Paraformance

Discovery