UniquenessTypes
Last edit June 2, 2008
A method of modelling state in
FunctionalProgrammingLanguage
s. See
UniqueType
.
See also:
OnMonads
(another way of modelling state).