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

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

Search results