Uniqueness Types

A method of modelling state in FunctionalProgrammingLanguages. See UniqueType.

See also: OnMonads (another way of modelling state).

EditText of this page (last edited June 2, 2008) or FindPage with title or text search