Orlo: A minimalist scheme with list and row polymorphism
A minimalist scheme with type inference with list polymorphism and row polymorphism.