TOPLAS 24(1) January 2002

(2002)

() ACM Transactions on Programming Languages and Systems (TOPLAS)