Type Systems for Programming Languages

15 years 3 months ago

Download www.cs.cmu.edu

"These notes were prepared for use in the graduate course Computer Science 15– 814: Type Systems for Programming Languages at Carnegie Mellon University. Their purpose is to provide a unified account of the role of type theory in programming language design and implementation. The stress is on the use of types as a tool for analyzing programming language features and studying their implementation."

Robert Harper

Real-time Traffic

Functional Programming | Programming Languages | Type Systems |

posted by scimaster

» Engineering a Programming Language The Type and Class System of Sather

» A Simple Comprehensive Type System for Java Bytecode Subroutines

» A Type System for the PushEnter Model

» Instant Polymorphic Type Systems for Mobile Process Calculi Just Add Reduction Rules and C...

» A Type System and Analysis for the Automatic Extraction and Enforcement of Design Informat...

» Trust and Partial Typing in Open Systems of Mobile Agents

» Safe to the Last Instruction Automated Verification of a TypeSafe Operating System

» Sound and Complete Type Inference for a Systems Programming Language

Post Info
More Details (n/a)

Added	07 Feb 2009
Updated	07 Feb 2009
Authors	Robert Harper

Comments (0)

	Introduction to Logic 1569 views
	Linear Matrix Inequalities in System and Control Theory 1455 views
	Linear Controller Design Limits of Performance 1500 views
	Spatial Reasoning: Theory and Practice 1331 views
	Spatial Augmented Reality Merging Real and Virtual Worlds 1752 views

Sciweavers

Type Systems for Programming Languages

Functional Programming | Programming Languages | Type Systems |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers