Structural refactorings for exploring dependently typed programming (code)

Adam Barwell (Creator)
Christopher Brown (Creator)
Mun See Chang (Creator)
Constantine Theocharis (Creator)

School of Computer Science

Dataset

Date made available	2025
Publisher	GitHub

Software

Software

Contact

[email protected]

Access Dataset

https://github.com/kontheocharis/fluid

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

Structural refactorings for exploring dependently typed programming
Barwell, A. D., Brown, C. M., Chang, M. S., Theocharis, C. & Thompson, S., 10 Jan 2025, Trends in functional programming: 25th International Symposium, TFP 2024, South Orange, NJ, USA, January 10–12, 2024, revised selected papers. Hemann, J. & Chang, S. (eds.). Cham: Springer, p. 1-21 (Lecture notes in computer science; vol. 14843).
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access
File

Cite this