Homeworks for CS350 - Principles of Programming Languages
Professor: Dr. Satyadev Nandakumar
2020-21 odd semester
IIT Kanpur
Name: K. Krishna Dhakshin
Roll number: 180334
Notes: HW1, HW3 and HW4 are self-explanatory. All of them have been completed 100%. Every question in the problem statement has a corresponding file for submission, either provinding the required function in haskell or oz, or giving a required proof as per the question. HW2 however, is more complex with respect to understandability and hence, the HW2 folder is provided with a separate README. HW2 has been done as an individual homework.
-
Notifications
You must be signed in to change notification settings - Fork 0
k-k-d/PoPL
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Homeworks for CS350 - Principles of Programming Languages
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published