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.