A Record Calculus Based on Symmetric Concatenation.

Robert Harper Benjamin C. Pierce A Record Calculus Based on Symmetric Concatenation. 131-142 1991 POPL db/conf/popl/popl91.html#HarperP91