Structural refactorings for exploring dependently typed programming

Adam David Barwell, Christopher Mark Brown^*, Mun See Chang, Constantine Theocharis, Simon Thompson

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results

Filter

Finished
Energise: Refactorings and Skeletons for: Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems
Brown, C. (PI)
EPSRC
1/04/21 → 31/03/24
Project: Standard