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 |
| Matthew Pickering (Student) |
Studentship Projects
| Project Reference | Relationship | Related To | Start | End | Student Name |
|---|---|---|---|---|---|
| EP/N509619/1 | 01/10/2016 | 30/09/2021 | |||
| 2215013 | Studentship | EP/N509619/1 | 01/08/2016 | 30/04/2020 | Matthew Pickering |