University of Cincinnati Logo
 

CS-4003 - Organization of Programming Languages
Electrical Engineering and Computer Science

<*> and <$>>>=, <-, >>, return>>=, <-, >>, return>>=, <-, >>, return>>=, <-, >>, return>>=, <-, >>, return>>=, <-, >>, return
Lecture Videos Date
    Administration, overview of language concepts and paradigms        21 Aug 2017
    Overview of Language Concepts and Paradigms        23 Aug 2017
    Virtual Functions        25 Aug 2017
    Thread and Type Safety        6 Sep 2017
    Memory Safety and Parameter Passing        8 Sep 2017
    Semaphores, Mutexes, Producer-Consumer        11 Sep 2017
    Streams        13 Sep 2017
    Declarative Style        15 Sep 2017
    Tail Recursion, Generics        18 Sep 2017
    Reflection I        20 Sep 2017
    Reflection II, Lab 4, Midterm videos        22 Sep 2017
    ACL2 and Scheme        25 Sep 2017
    Scheme Procedures        27 Sep 2017
    Lambda!!        29 Sep 2017
    Lambda and the Y combinator        2 Oct 2017
    Hygienic macros        4 Oct 2017
    Macros & Topological Sort plus call-with-current-continuation        6 Oct 2017
    Declarative style        11 Oct 2017
    Haskell: functions        16 Oct 2017
    Haskell: Y combo, Maybe Monad        18 Oct 2017
    Haskell: Exceptions        20 Oct 2017
    Haskell: try-catch Either Monad        23 Oct 2017
    Midterm Videos I        25 Oct 2017
    Haskell: Data constructors        30 Oct 2017
    Haskell: Custom Data Types        1 Nov 2017
    Haskell: Functors        3 Nov 2017
    Haskell:        8 Nov 2017
    Haskell:        13 Nov 2017
    Haskell: Monads        15 Nov 2017
    Haskell: Nick's Lament        17 Nov 2017
    Cryptol        20 Nov 2017
    Cryptol: Binary Search & DES        29 Nov 2017
    Cryptol: Equivalence Checking        1 Dec 2017

    Administration        22 Aug 2016
    C/C++/Java Primer: memory usage, virtual functions 1        24 Aug 2016
    C/C++/Java Primer: memory usage, virtual functions 2        26 Aug 2016
    Stack examples, parameter passing        29 Aug 2016
    Type and Thread safety examples        31 Aug 2016
    Signals, Java Threads        2 Sep 2016
    Producer/Consumer        7 Sep 2016
    Streams        12 Sep 2016
    Lab 3, Hamming Sequence, Generics        14 Sep 2016
    Generics        16 Sep 2016
    Reflection, Lab 4, Scheme basics        28 Sep 2016
    Scheme basics, procedures        30 Sep 2016
    Scheme tail recursion, lambda, heap        3 Oct 2016
    Closure        5 Oct 2016
    Complexity        12 Oct 2016
    Data Structures        17 Oct 2016
    Scheme: call-with-current-continuation        19 Oct 2016
    Scheme: hygienic macros (define-syntax)        21 Oct 2016
    Scheme: declarative programming        24 Oct 2016
    Scheme: object oriented w/ closure        26 Oct 2016
    Scheme: review        28 Oct 2016
    Haskell: intro        4 Nov 2016
    Haskell: intro        7 Nov 2016
    Haskell: foldr, Maybe        9 Nov 2016
    Haskell: Maybe, Monads        14 Nov 2016
    Haskell: Data constructors        18 Nov 2016
    Haskell: Functors        21 Nov 2016
    Haskell: Review to Data Types        23 Nov 2016
    Haskell: Applicative Functor        28 Nov 2016
    Haskell: Monads        30 Nov 2016
    Final: Review        2 Dec 2016


ERC
MainStreet
Paul Erdos
NIT
Ladies on Campus
Oscar Robinson