|
|
|
|
|
|
by Joker_vD
1750 days ago
|
|
|
And the "Semantics" section straight up reinvents their own flavour of a G-machine... very fancy indeed. Is there a shortage of existing object calculi that I am not aware of? Even Abadi-Cardelli's calculus can already do just as much, and is also smaller and more concise. |
|
|