|
|
| WEEK | TOPIC |
|---|---|
| CSCI 1101 03 Computer Science I | |
| 1 : 1/13 - 1/15 |
Overview, Administration, Types, expressions, reduction,
values, functions and libraries.
Basic coding in F#. |
| 01.1.intro.txt, 01.2.background.txt. | |
| 2 : 1/20 - 1/22 |
More on Coding in F#: Repetition, Lists.
Records, Sum Types and Functions. |
| 02.1.fsharpPart2.fs, 02.2.fsharpPart3.fs. | |
| 3 : 1/27 - 1/29 |
Class Cancelled due to Snow
Finish Intro to F# |
| 4 : 2/3 - 2/5 |
Syntax, Grammars, Derivations, Syntax Trees, ASTs
Parsing, Precedence and Associativity, Recursive Descent Parsing |
| 04.1.syntax.txt 04.2.boolang.fs | |
| 5 : 2/10 - 2/12 |
Introduction to Semantics, A Simple REPL
Class Cancelled due to Snow |
| 05.1.alglang.incomplete.fs | |
| 6 : 2/17 - 2/19 |
Languages with Multiple Types
FIRST EXAM. |
| firstKey.pdf | |
| 7 : 2/24 - 2/26 |
A First-Order Language
Lambda Calculus, Higher-Order Functions and Closures |
| : 3/3 - 3/5 | SPRING BREAK |
| 8 : 3/10 - 3/12 | Polymorphic Types |
| 9 : 3/17 - 3/19 | Imperative Programming, MiniC |
| 10 : 3/24 - 3/26 | Compiling MiniC |
| 11 : 3/31 - 4/2 |
More on Compiling
SECOND EXAM, |
| 12 : 4/7 - 4/9 | Real-World Abstract Machines |
| 13 : 4/14 - 4/16 | Record Types, Subtyping with Record Types |
| 14 : 4/21 - 4/23 |
Programming in the Large, Classes and Modules
JavaScript and Go |
| classesAndModules.zip | |
| 15 : 4/28 - 4/30 |
Rust and Elm
Catchup, Review and wrapup. |
| 15.txt 15.zip | |