About: Uniqueness type

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia-live.demo.openlinksw.com

Type discipline where objects can only have a single reference

Property	Value
dbo:description	type discipline where objects can only have a single reference (en)
dbo:wikiPageExternalLink	http://www.edsko.net/pubs/ifl07-paper.pdf https://www.cs.cmu.edu/~carsten/linearbib/llb.html
dbo:wikiPageWikiLink	dbr:Side_effect_(computer_science) dbr:Clean_(programming_language) dbr:Type_system dbr:Linear_logic dbr:Computing dbr:Operating_system dbr:System_call dbc:Type_theory dbr:Mercury_(programming_language) dbr:Object_code dbr:Scala_(programming_language) dbr:Referential_transparency dbr:SAC_programming_language dbr:Idris_(programming_language) dbr:Compiler_optimization dbr:Linear_type dbr:Functional_language dbr:I/O dbr:Monads_in_functional_programming dbr:Single-threaded dbr:Type_casting_(computer_programming)
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:Type_systems dbt:Short_description
dct:subject	dbc:Type_theory
rdfs:label	Uniqueness type (en) Тип, гарантирующий уникальность (ru)
owl:sameAs	freebase:Uniqueness type wikidata:Uniqueness type dbpedia-ru:Uniqueness type dbpedia-global:Uniqueness type dbr:Uniqueness type
prov:wasDerivedFrom	wikipedia-en:Uniqueness_type?oldid=1293988701&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Uniqueness_type
is dbo:wikiPageRedirects of	dbr:Uniqueness_typing
is dbo:wikiPageWikiLink of	dbr:Comparison_of_functional_programming_languages dbr:Functional_programming dbr:Monad_(functional_programming) dbr:Haskell dbr:Clean_(programming_language) dbr:Type_system dbr:Linear_logic dbr:Substructural_type_system dbr:Uniqueness_typing
is dbp:typing of	dbr:Futhark_(programming_language)
is foaf:primaryTopic of	wikipedia-en:Uniqueness_type

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 4.0 International