lectures, and similar courses

iiithf · Dec 3, 2020 · 8557847 · 8557847
1 parent 549fd66
commit 8557847
Show file tree

Hide file tree

Showing 7 changed files with 7 additions and 0 deletions.
diff --git a/Lectures/01. Simply Typed Lambda Calculus.pdf b/Lectures/01. Simply Typed Lambda Calculus.pdf
diff --git a/Lectures/02. Type Inference.pdf b/Lectures/02. Type Inference.pdf
diff --git a/Lectures/03. Term Unification.pdf b/Lectures/03. Term Unification.pdf
diff --git a/Project/00. Proposal (ECS).pdf → Project/00. Notes (ECS).pdf b/Project/00. Proposal (ECS).pdf → Project/00. Notes (ECS).pdf
diff --git a/Project/00. Plan (ECS).pdf b/Project/00. Plan (ECS).pdf
diff --git a/Project/01. Proposal (ECS).pdf b/Project/01. Proposal (ECS).pdf
diff --git a/README.md b/README.md
@@ -3,3 +3,10 @@ underpinnings of reliable software.
 
 **Course**: Software Foundations, Spring 2020
 **Taught by**: Prof. Venkatesh Chopella
+<br>
+<br>
+
+Similar courses:
+- [CS 494 SF: Software Foundations](https://www.cs.uic.edu/~mansky/teaching/cs494sf/sp19/schedule.html)
+- [CSC 495/693: Software Foundations](https://www.uncg.edu/cmp/faculty/srtate/495.f16/index.php)
+- [Game Programming Patterns](https://gameprogrammingpatterns.com/contents.html)