Programming Languages Theory

Here are some of my experiences and findings on the topics Functional-Programming, type-theory, proof-assistants and related fields.

Readings

Name/Topic	Description	Link(s)
Type Theory Notes	I have been reading about Type theory, logic systems and Proof Assistants these days and thus compiled a short report on the same. It is avilable here	type theory notes
Software Foundations	I have almost solved first part, Logic foundations of the 4 volume Software foundations book. My solutions are available here at:	My Software Foundations Solutions link
Interactive Theorem Proving	I finished reading up Interactive Theorem Proving by Prof. Adam Chlipala slides and also compiled small notes on the same which can be found here at :	ITP Solutions link
Abstract Interpretation	I was reading about Abstract Interpretation,following this slides and compiled short notes on the same which can be found here .	Abstract Interpretation