Anzen introduces three unequivocal assignment operators and a type-capability system for uniqueness and immutability, formalized via minimal calculus.
In Proceedings of the 8th Workshop on Programming Languages and Operating Systems, PLOS 2015, Monterey, California, US A, October 4, 2015
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Explicit and Controllable Assignment Semantics
Anzen introduces three unequivocal assignment operators and a type-capability system for uniqueness and immutability, formalized via minimal calculus.