Towards a refactoring tool for dependently-typed programs (2022)
Attributed to:
Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: https://wpte2022.github.io/
Type: Conference/Paper/Proceeding/Abstract