Login / Signup

Flexible and reversible conversion between extensible records and overloading constraints for ML.

Alvise Spanò
Published in: J. Syst. Softw. (2024)
Keyphrases