| Date |
Topic and Materials |
| 05/29 |
Introduction ( pdf) Ruby 1 (pdf) |
| 05/30 |
Ruby 2 (pdf) Lecture notes and Examples ( github) |
| 06/01 |
Ruby Regex (pdf) code(github) |
| 06/04 |
Ruby Code Blocks and Mixins (pdf) code(github) |
| 06/05 |
Discussion |
| 06/06 |
OCaml Introduction(pdf)
Functions(pdf)
Working with OCaml(pdf)
Lists(pdf)
Lecture Notes( txt)
|
06/07 |
Quiz 1, Discussion |
| 06/08 |
Pattern Matching and Lists(pdf)
Lecture Notes( txt)
|
| 06/11 |
Lets, Tuples, Records (slides) Higher order functions (slides)
Lecture Notes(txt)
|
| 06/12 |
Higher order functions (slides)
Lecture Notes(txt)
|
| 06/14 |
Data Types(slides) Closures(slides)
Lecture Notes(txt)
|
| 06/18 |
Closures(slides)
Tail Recursion(slides)
|
| 06/20 |
Imperative OCaml(slides) |
| 06/22 |
Finite Automata(slides) |
| 06/25 |
DFA, NFA(slides) |
| 06/25 |
Context Free Grammar(slides) |
| 06/28 |
Midterm |
| 06/29 |
Parsing(slides)
Code (github)
|
| 07/02 |
Operational Semantics (slides)
Code (github)
|
| 07/04 |
Holiday
|
| 07/06 |
Lambda Calculus (slides) |
| 07/09 |
Lambda Calculus Encodings
(slides) |
| 07/11 |
Rust Intro (slides) Work With Rust (slides) Rust Basics
(slides) |
| 07/13 |
Ownership(slides) Collections (slides) Traits
(slides) Enums and Structs(slides) |
| 07/17 |
Closures and Iterators
(slides) Smart Pointers (slides) |
| 07/19 |
Software Security(slide) |
| 07/20 |
Final |