Intensional Analysis of Quantified Types
ACM Transactions on Programming Languages and Systems - United States
doi 10.1145/641888.641889
Full Text
Open PDFAbstract
Available in full text
Categories
Date
March 1, 2003
Authors
Publisher
Association for Computing Machinery (ACM)