Hindley-Milner-Pure-Rowpolymorphism.md

Hindley Milner pure implementation with row polymorphism

This implementation is based on Algorithm W step by step by Martin Grabüller with the addition of row polymorphism. If you compare this implementation with HMPure you should be able to see the row polymorphism additions.

Code

All code is in a self contained project: HMPure-Rowpolymorphism

References

Algorithm W step by step, Martin Grabmuller Extensible records with scoped labels, Daan Leijen