CSE P505: Programming Languages

University of Washington Course , spring 2006

325 students enrolled

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

Lecture 1: Intro; Caml; functional programming

Up Next
You can skip ad in
SKIP AD >
Advertisement
      • 2x
      • 1.5x
      • 1x
      • 0.5x
      • 0.25x
        EMBED LINK
        COPY
        DIRECT LINK
        PRIVATE CONTENT
        OK
        Enter password to view
        Please enter valid password!
        0:00
        3.6 (7 Ratings)

        LECTURES



        Review


        3.6

        7 Rates
        5
        43%
        3
        4
        29%
        2
        1
        29%
        2

        Comments Added Successfully!
        Please Enter Comments
        Please Enter CAPTCHA
        Invalid CAPTCHA
        Please Login and Submit Your Comment