Congratulations to Dr. Johann for being funded for the project entitled "Semantic Complexity of Advanced Data Types". It is a 3-year award, starting October 1, 2019 for the amount $510,823. The award includes funding for a post-doc for two years, as well as for students.
The funded project seeks to develop a fundamental theory of advanced data types --- including nested types, GADTs, and their higher-kinded analogues --- that generalize standard algebraic data types (ADTs). It aims to i) extend classical endofunctor initial algebra semantics for ADTs to a robust class of such types, ii) identify which categorical settings support endofunctor initial algebra semantics for which such data types, and iii) classify advanced data types according to the inherent complexity of their initial algebra semantics.