CSE P505: Programming Languages

University of Washington Course , spring 2006

Lecture 1: Intro; Caml; functional programming

Download:    | WMV
 
Course Description :

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

Other Resources


COURSE Reviews

5 Stars 4
4 Stars 2
3 Stars 0%
2 Stars 0%
1 Stars 2
3.8 Overall Ratings
Top