Towards a refactoring tool for dependently-typed programs

CM Brown, A Barwell, S Thompson, S Sarkar… - 2022 - research-repository.st-andrews.ac …
Towards a Refactoring Tool for Dependently-Typed Programs Extended Abstract Page 1
Submitted to: WPTE 2022 © C. Brown & AD Barwell & S. Thompson & E. Brady This work is …
相关文章

Towards a refactoring tool for dependently-typed programs

CM Brown, A Barwell… - 9th International …, 2022 - research-portal.st-andrews.ac.uk
Towards a refactoring tool for dependently-typed programs (Extended abstract) — University
of St Andrews Research Portal Skip to main navigation Skip to search Skip to main content …