Type Systems for Programming Languages

15 years 9 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

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