About: Effect system

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

System which describes the computational effects of computer programs

Property	Value
dbo:description	system which describes the computational effects of computer programs (en)
dbo:wikiPageExternalLink	https://archive.org/details/correctsystemdes0000stef/page/114 https://archive.org/details/correctsystemdes0000stef/page/114%7Cdoi=10.1007/3-540-48092-7_6%7Curl-access=registration http://www.cs.ucla.edu/~todd/research/tldi09.pdf%7Cisbn=9781605584201%7Cciteseerx=10.1.1.157.8373 https://scholar.google.com/scholar%3Fcluster=4860658690557317521%7Cisbn=978-0897912525%7Cciteseerx=10.1.1.73.4916
dbo:wikiPageWikiLink	dbr:Side_effect_(computer_science) dbr:Functional_programming dbr:Monad_(functional_programming) dbr:Association_for_Computing_Machinery dbr:Type_system dbr:Lecture_Notes_in_Computer_Science dbc:Program_analysis dbr:Formal_system dbr:JavaScript dbr:Java_(programming_language) dbr:Computing dbc:Type_theory dbr:Scala_(programming_language) dbr:Exception_handling dbr:Goto dbr:Generator_(computer_programming) dbr:Pure_function dbr:Haskell_(programming_language) dbr:Exception_(computer_science) dbr:Eff_(programming_language) dbr:Object_oriented dbr:Dynamically_typed dbr:Statically_typed dbr:Checked_exception dbr:Comefrom dbr:Compile-time dbr:Koka_(programming_language) dbr:Unison_(programming_language)
dbp:wikiPageUsesTemplate	dbt:Mset dbt:Cite_book dbt:Reflist dbt:Code dbt:Cite_journal dbt:More_footnotes_needed dbt:Short_description
dct:subject	dbc:Program_analysis dbc:Type_theory
gold:hypernym	dbr:System
rdfs:label	Effect system (en) Sistema de efectos (es)
owl:sameAs	freebase:Effect system wikidata:Effect system dbpedia-es:Effect system dbpedia-global:Effect system dbr:Effect system
prov:wasDerivedFrom	wikipedia-en:Effect_system?oldid=1295114375&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Effect_system
is dbo:wikiPageDisambiguates of	dbr:Effect
is dbo:wikiPageRedirects of	dbr:Effect_systems
is dbo:wikiPageWikiLink of	dbr:Functional_programming dbr:Monad_(functional_programming) dbr:Typestate_analysis dbr:Type_system dbr:OCaml dbr:Effect dbr:Substructural_type_system dbr:Eff_(programming_language) dbr:Effect_systems
is foaf:primaryTopic of	wikipedia-en:Effect_system