Programming Languages White Papers
Practical Foundations for Programming Languages
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.
| Publisher | Carnegie Mellon University | File Format | |
|---|---|---|---|
| Date Published | December 2008 | ||
| Format | White Papers | ||
| Topics | |||
-
Did you find this white paper useful? 6 out of 8 users found this white paper useful
White Paper RSSPSD-to-HTML Conversion Services: How to Get the Most Out of Them?
DownloadIn web development projects when it comes to turn .psd, .ai, etc designs into xHTML/CSS code, a common option will be to use PSD-to-HTML slicing services. And a natural question...
Managing risk through financial processes: Embedding governance, risk and compliance
Managing risk through ?nancial processes is an Economist Intelligence Unit report sponsored by SAP. The Economist Intelligence Unit bears sole responsibility for this report. The Economist Intelligence Unit's editorial team conducted...
Do More with Less: Merging Enterprise Applications with Desktop Tools
Find out what Aberdeen Group has to say about tools for business users. This report examines key trends for enterprises seeking to improve end user productivity, including the integration of...
A Better Alternative: An Improved Approach to Facilities Management
Real estate is typically the second largest corporate expense after personnel, so why do so many organizations remain unchanged in the way they manage their facilities? Shouldn't they, and you,...
Missing data: the hidden problem - Draw more valid conclusions with SPSS Missing Value Analysis
Just about everyone doing analysis has some missing data, especially survey researchers, market researchers, database analysts, researchers and social scientists. Missing data includes questions without answers or variables without observations....
