Gradual Typing for Python, Unguarded
Michael M. Vitousek · IUScholarWorks (Indiana University) · 2019
I am interested in designing programming languages and techniques that support users throughout the development cycle, from prototyping to production, and that reduce barriers to entry while guaranteeing properties programmers rely on.My research so far has focused on soundly combining static and dynamic typing within the same programming language, also known as gradual typing, and I'm especially interested in techniques for applying gradual typing to existing programming languages practically, soundly, and efficiently.