Folkert is working on a new formulation of uniqueness typing that aims at combining the conceptual advantages of Edsko de Vries' type system with the practical benefits of Sjaak Smetsers et al.'s system implemented in Clean.
Folkert finished his thesis in September 2020.