Flexible and Reversible Conversion between Extensible Records and Overloading Constraints for ML

Alvise Spanò

Most ML-like functional languages provide records and overloading as unrelated features. Records not only represent data structures, but are also used to implement dictionary passi…