Structural refactorings for exploring dependently typed programming

Adam David Barwell, Christopher Mark Brown^*, Mun See Chang, Constantine Theocharis, Simon Thompson

^*Corresponding author for this work

School of Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 results
- Title
- Start date(ascending)

Structural refactorings for exploring dependently typed programming (code)
Barwell, A. D. (Creator), Brown, C. M. (Creator), Chang, M. S. (Creator) & Theocharis, K. (Creator), GitHub, 2025
https://github.com/kontheocharis/fluid
Dataset: Software