![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png){kind=small}
stuff I did not know
Jul. 9th, 2019 11:21 amhttps://www.cs.rochester.edu/u/scott/papers/2004_DISC_dual_DS.pdf
Ok, tried to read it. Does not look serious. Nice discussion, but no theory. Just waving hands. Could apply pi-calculus, and then it could be strict. Kind of. "total functions". "returning error code". C programmers, my ass.
Ok, tried to read it. Does not look serious. Nice discussion, but no theory. Just waving hands. Could apply pi-calculus, and then it could be strict. Kind of. "total functions". "returning error code". C programmers, my ass.
