x
Free Video Lecturers
Menu
SignUp
Close
  1. Home
  2. All Courses
  3. Programming
  4. University of Washington

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

Lecture 1: Intro; Caml; functional programming

4.1 ( 11 )


Lecture Details

Related Courses
Product
Netbeans Java GUI with Sqlite MySql Database I
Delivered by Other
FREE
15
Product
Linux
Delivered by Other
FREE
15
Product
edx Data Science Research Methods Python
Delivered by Microsoft
FREE
15
Ratings

3.6


7 Ratings
55%
30%
10%
3%
2%
Comments
comment person image

Sam

Sep 12, 2018

Excellent course helped me understand topic that i couldn't while attendinfg my college.

Reply
comment person image

Dembe

March 29, 2019

Great course. Thank you very much.

Reply
Send