Strict Intersection Types for the Lambda Calculus
ACM Computing Surveys - United States
doi 10.1145/1922649.1922657
Full Text
Open PDFAbstract
Available in full text
Date
April 1, 2011
Authors
Publisher
Association for Computing Machinery (ACM)
Available in full text
April 1, 2011
Association for Computing Machinery (ACM)