prog

Lambda Machine

11 2020-03-11 07:45

>>10
Here it is: http://verisimilitudes.net/2017-05-07

I don't cover the more abstract machines of this particular topic, but perhaps you'll find value in reading it anyway.