An Elegant Stack Machine

Introduction Lately I’ve been fascinated with simple models of computation. It’s astounding to me that systems like the lambda calculus and SKI combinators, defined in just a few lines, can express any computable function. But there’s one thing in pa...