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

Fingerprint

Dive into the research topics of 'Structural refactorings for exploring dependently typed programming'. Together they form a unique fingerprint.

Computer Science