Morris was awarded $1.2M by the National Science Foundation to explore extensible foundations for modular mathematics and semantics. The project will build on recent work that developed row types as a foundation for extensible data types.