A Record Calculus Based on Symmetric Concatenation

Robert Harper, Benjamin C. Pierce. A Record Calculus Based on Symmetric Concatenation. In POPL. pages 131-142, 1991.

Abstract

Abstract is missing.