diff options
Diffstat (limited to 'readme.md')
-rw-r--r-- | readme.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/readme.md b/readme.md new file mode 100644 index 0000000..fce1fea --- /dev/null +++ b/readme.md @@ -0,0 +1,15 @@ +## CSCI3155 Principles of Programming Languages (FA24) + +### Homework Assignments +1. Expressions and Data Types +2. Syntax +3. Big-Step Operational Semantics +4. Higher-Order Functions +5. Encapsulating Effects + +### Labs +1. Recursion, Inductive Data Types, and Abstract Syntax +2. Basic Values, Variables, and Judgments +3. Small-Step Operational Semantics +4. Static Type Checking +5. Imperative Computation |