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