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