FREE Registration is required
Overview:
The central organizing principle of the paper is that programming language features may be seen as manifestations of an underlying type structure that governs its syntax and semantics. The emphasis, therefore, is on the concept of type, which codifies and organizes the computational universe in much the same way that the concept of set may be seen as an organizing principle for the mathematical universe. The purpose of this paper is to explain this remark.
(Is this item miscategorized? Does it need more tags? Let us know.)
| Format: | Size: | 1,280 KB | |
| Date: | Dec 2008 | ||
| Pages: | 255 |
People who downloaded this item also downloaded
White Papers, Webcasts, and Resources
- Outsourcing the data centre to a carrier neutral data centre operator in Europe Telecity GroupFind out how to drive down the cost of your IT environment--and drive up the reliability and quality of your service--by outsourcing your data center.
- Designing High Availability for Internet Information Services CA XOsoftEnd downtime forever on your Web servers running Microsoft Internet Information Services with this step-by-step guide to high availability.
- Spend 3 minutes with free EBS ROI Tool - and Save Thousands IBMSee exactly how an Oracle EBS upgrade can lower your cost of ownership, deliver greater business intelligence, and improve capabilities company-wide.
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
Featured Training Courses
- Implementing and Administering Windows 7 in the Enterprise
- CCNA Boot Camp v2.0
- VMware vSphere: Install, Configure, Manage [V4]
- Certified Ethical Hacker
- Management and Leadership Skills
- Browse all Training Courses
SmartPlanet
- Thought-provoking progressive ideas on diverse topics that intersect with technology, business, and life, and matter to the world at large. Visit SmartPlanet
- More from IBM
- Can your business work smarter? Learn more about Lotus Symphony
- Learn how to work smarter and optimize cost using the IBM Smart SOA approach Download the eBook
- Smarter ways to make smarter products Read the brief from IBM



