aboutsummaryrefslogtreecommitdiff
path: root/readme.md
diff options
context:
space:
mode:
Diffstat (limited to 'readme.md')
-rw-r--r--readme.md15
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