CSE P505: Programming Languages
University of Washington,, spring 2006
Updated On 02 Feb, 19
University of Washington,, spring 2006
Updated On 02 Feb, 19
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
4.1 ( 11 )
Sam
Sep 12, 2018
Excellent course helped me understand topic that i couldn't while attendinfg my college.
Dembe
March 29, 2019
Great course. Thank you very much.