Programming Languages Theory

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


Name/Topic Description Link(s) Other 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

Related blog posts

Differential Privacy (03 Aug 2019)

Probabilistic Programming (02 Aug 2019)

Z3 theorem prover (25 Jul 2019)

Make C compiler using LLVM (10 Jun 2019)

LLVM (10 Mar 2019)

SAT (17 Feb 2019)

Pointer Analysis (02 Feb 2019)

Understanding Types (01 Jan 2019)

Related Projects