Robuta

https://research-portal.st-andrews.ac.uk/en/publications/structural-refactorings-for-exploring-dependently-typed-programmi/projects/?status=FINISHED Structural refactorings for exploring dependently typed programming - Projects - University of St... dependently typed programming structural refactorings exploring projects https://patrikja.owlstown.net/publications/13680-dependently-typed-programming-in-scientific-computing-examples-from-economic-modelling Patrik Jansson - Dependently-Typed Programming in Scientific Computing dependently typed programming scientific computing patrik jansson