Proving Renaming for Haskell via Dependent Types: A Case-Study in Refactoring Soundness Extended Abstract (2021)
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://research-repository.st-andrews.ac.uk/handle/10023/23673
Type: Technical Report