x
Menu

CSE P505: Programming Languages

University of Washington,, spring 2006

Updated On 02 Feb, 19

Overview

Contents:
Introduction, Caml, functional programming - Functional programming, syntax,semantics via interpretation or translation - Semantics via translation, equivalence & properties, lambda introduction-Untyped lambda - calculus, inference rules,environments,Continuations, types -Types, Subtyping-Coercions, Type Variables, Type Inference-Types Wrap-up, Object - Oriented Programming - Fancier OOP;,Concurrency - Atomicity, Memory Management

Includes