Towards a refactoring tool for dependently-typed programs (Extended abstract)

Christopher Mark Brown, Adam Barwell, Simon Thompson, Susmit Sarkar, Edwin Charles Brady

Research output: Contribution to conference › Paper › peer-review

1 results

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