Structural refactorings for exploring dependently typed programming (code)

School of Computer Science

Dataset

Date made available	2025
Publisher	GitHub

Software

Software

Contact

[email protected]

Access Dataset

https://github.com/kontheocharis/fluid

1 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

1 Conference contribution

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