Towards a refactoring tool for dependently-typed programs (Extended abstract)

Christopher Mark Brown, Adam Barwell, Simon Thompson, Susmit Sarkar, Edwin Charles Brady

Research output: Contribution to conference › Paper › peer-review

Fingerprint

Dive into the research topics of 'Towards a refactoring tool for dependently-typed programs (Extended abstract)'. Together they form a unique fingerprint.

Computer Science