Material of an elective course offered to IIIT-H students.
There are three directories, Notes, Software Foundations and resources
Notes:
- Contains the Notes on Type Systems given by Prof. Venkatesh Choppella
- Contains the notes taken down by students
Software Foundations:
- Contains folders on the topics covered in class
- Each folder contains the slides used by the lecturers to teach that topic
resources:
- Contains the textbooks, reference books suggested by lecturers
- Also contains the references we used to understand the topics.