Making Efficient Sound Gradual Typing Fit for Industry Adoption. Programming languages enable programmers to express their ideas in a way that suits them, and have the resulting code automatically tra

Description

Making Efficient Sound Gradual Typing Fit for Industry Adoption. Programming languages enable programmers to express their ideas in a way that suits them, and have the resulting code automatically translated into something a computer can understand. Languages trade off different features against each other to support particular use cases. This project aims to enable a new generation of programming languages that combines the advantages of languages used by professional software developers with the flexibility of widely-used scripting languages, improving the productivity and code quality of programmers of all kinds. To this end, it will solve important problems in the underlying mathematical theory of programming languages. The main benefit is that it will be easier to write safe and yet fast software.. Scheme: Discovery Early Career Researcher Award. Field: 4612 - Software Engineering. Lead: Dr Fabian Muehlboeck