A Calculus with Recursive Types, Record Concatenation and Subtyping.

Yaoda Zhou, Bruno C. d. S. Oliveira, Andong Fan

Browse the full APLAS paper archive.