[obastani]

Any chance you could you share some references on this kind of type inference? It sounds very interesting!

[Aardappel]

It is not an implementation of an existing paper or anything.. I am going to write it up soon, promise!

Feel free to email or msg me if you want to be notified.

[alexisread]

You could try: http://liu.diva-portal.org/smash/get/diva2:20899/FULLTEXT01....