logo
The Digital Librarian's Digital Library
DOCIS Documents in Computing and Information Science
 
Home >> Journals and Conference Proceedings >> ACM Conference on LISP and Functional Programming
 
 
A Direct Algorithm for Type Inference in the Rank-2 Fragment of the Second-Order lambda-Calculus
 
A. J. Kfoury, J. B. Wells
 
Journal Title: ACM Conference on LISP and Functional Programming
Date: 1994
 
 
 
For further information about this item go to:
http://doi.acm.org/10.1145/182409.182456
 
 
This data comes from DBLP
[SWISH++]Valid XHTML 1.0!
This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12