Parametricity - Logical Equivalence for Polymorphic Types
Hereditary Termination and Logical Equivalence Recap
Recent Posts
Polymorphic Functional Programming
An example to start off
In Searching Counter Examples for Ramsey Number
This is a project I did in my undergrad, so I might forget some of the details. Also some of the design choices might seen stupid for now, but I am writing t...
Python Global Interpreter Lock (GIL)
Introduction
Introduction to Category Theory
We can think of category theory as a generalized set theory, where in set theory we have sets and , but in category theory we have objects and arrows, w...
Equational Reasoning
The main question is, how do we define two programs are equal, and how do we prove it.