Login / Signup

Towards Algebraic Subtyping for Extensible Records.

Rodrigo MarquesMário FloridoPedro B. Vasconcelos
Published in: CoRR (2024)
Keyphrases