A method of modelling state in FunctionalProgrammingLanguages. See UniqueType.
See also: OnMonads (another way of modelling state).
Uniqueness Types
last modified: June 2, 2008
A method of modelling state in FunctionalProgrammingLanguages. See UniqueType.
See also: OnMonads (another way of modelling state).