Master thesis by Georgi Nihrizov: Hole-Driven Development for Substructural Type Systems in Imperative Languages "This thesis asks whether hole-driven development can be realized effectively in Rust, an imperative language with a substructural type system. We argue that this technique is well-suited to Rust as its constrained type system can provide a solid base for the hole-driven development approach." https://resolver.tudelft.nl/uuid:12e8946e-6479-49f6-bd26-8ffddf39ffb1 #Master #Thesis #TypeDrivenDevelopment #Rust