I recently uncovered a free computer science textbook which is not as well-known as it should be, called Programming Languages: Application and Interpretation by Shriram Krishnamurthi. One of the gems inside was a very lucid explanation of type systems and type inference.

April 19, 2008
URL:http://www.drdobbs.com/architecture-and-design/implementing-type-inference-not-so-hard/228700428

Terms of Service | Privacy Statement | Copyright © 2024 UBM Tech, All rights reserved.