#eopl

I recently started back working through EoPL and yesterday I solved exercise 3.15. Extend the...

Psst: The paper, Inductive Graphs and Functional Graph Algorithms, I shared near the end of this post...

What I accomplished I completed all the exercises for Chapter 1. I finished reading...

Inductive specification is a powerful method for specifying a set of values. And, a top-down...

Last week Wednesday (i.e. 31st July, 2019) I started reading EoPL and the following day I announced...

For the next few months I'd be switching gears and diving into programming language theory. It's an...