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.
multi-stage programs and the interaction of cross-compilation with explicit stage annotations.
Organisations
People |
ORCID iD |
Steven Ramsay (Primary Supervisor) | |
Matthew Pickering (Student) |
Studentship Projects
Project Reference | Relationship | Related To | Start | End | Student Name |
---|---|---|---|---|---|
EP/N509619/1 | 30/09/2016 | 29/09/2021 | |||
2227053 | Studentship | EP/N509619/1 | 31/07/2016 | 30/10/2020 | Matthew Pickering |