Hi,
I have attributed my bachelor’s thesis to static type inference for the Nix language and will pick up on the topic again for my master’s degree. I will try to implement a second calculus that supports Nix’s deeply nested records (Attrsets) throughout the summer and would like to connect with other pioneers interested in the topic. If you are interested, please contact me at sk925@email.uni-freiburg.de
I’m looking forward to meeting you 