Practical Foundations for Programming Languages

Download Now Free registration required

Executive Summary

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.

  • Format: PDF
  • Size: 1280 KB