I was wondering if it's Hindely-Milner, and yes it is according to this interview:

https://blog.lambdaclass.com/an-interview-with-the-creator-o....