Implementing the simply-typed lambda calculus

This article explains trampolining - a technique that is used to implement tail calls in languages that does not support them

Eigencircles are visualization of 2x2 matrices that provide a fascinating geometric understanding of matrix properties