Multi-Stage Programming In Haskell

Lead Research Organisation: University of Bristol
Department Name: Computer Science

Abstract

We investigate the interaction of multi-stage programs with advanced type system features such as type classes, polymorphism, dependent types. We also study the implementation of
multi-stage programs and the interaction of cross-compilation with explicit stage annotations.

Publications

10 25 50

Studentship Projects

Project Reference Relationship Related To Start End Student Name
EP/N509619/1 01/10/2016 30/09/2021
2227053 Studentship EP/N509619/1 01/08/2016 30/04/2020 Matthew Pickering