A Record Calculus Based on Symmetric Concatenation (1991)

Cached

Download Links

by Robert Harper , Benjamin Pierce
Venue:In Proc. of the ACM Symp. on Principles of Programming Languages
Citations:61 - 2 self