[thechao]

I've never heard of interaction nets (which just shows how overspecialized CS can be: I guess I have a PhD in PLT?); so... I wikipedia'd it up. I normally don't trust Wikipedia any further than I can throw it, but ... "interaction nets":

https://en.wikipedia.org/wiki/Interaction_nets

[geocar]

Have you heard of Linear Lisp? https://www.cs.utexas.edu/users/hunt/research/hash-cons/hash...

[thechao]

Yeah — I used to program in a GC-free LISP in grad school. That's why I'm so flabbergasted.

[generalizations]

And an entire list of other models of computation: https://en.wikipedia.org/wiki/Model_of_computation