Inklings: a tumblelog

Warren's Abstract Machine: A Tutorial Reconstruction