@prefix foaf:	<http://xmlns.com/foaf/0.1/> .
<http://en.wikipedia.org/wiki/ATS_(programming_language)>	foaf:primaryTopic	<http://dbpedia.org/resource/ATS_(programming_language)> .
@prefix dbo:	<http://dbpedia.org/ontology/> .
@prefix dbr:	<http://dbpedia.org/resource/> .
dbr:Typestate_analysis	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
@prefix dbp:	<http://dbpedia.org/property/> .
dbr:OCaml	dbp:influenced	<http://dbpedia.org/resource/ATS_(programming_language)> ;
	dbo:influenced	<http://dbpedia.org/resource/ATS_(programming_language)> ;
	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
@prefix rdf:	<http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix wikidata:	<http://www.wikidata.org/entity/> .
<http://dbpedia.org/resource/ATS_(programming_language)>	rdf:type	wikidata:Q9143 ,
		wikidata:Q315 .
@prefix owl:	<http://www.w3.org/2002/07/owl#> .
<http://dbpedia.org/resource/ATS_(programming_language)>	rdf:type	owl:Thing ,
		dbo:ProgrammingLanguage .
@prefix schema:	<http://schema.org/> .
<http://dbpedia.org/resource/ATS_(programming_language)>	rdf:type	schema:Language ,
		dbo:Language ;
	owl:sameAs	<http://fr.dbpedia.org/resource/ATS_(langage_de_programmation)> ,
		<http://ca.dbpedia.org/resource/ATS_(llenguatge_de_programaci\u00F3)> ,
		<http://yago-knowledge.org/resource/ATS_(programming_language)> ,
		<http://rdf.freebase.com/ns/m.04q84w1> ,
		<http://dbpedia.org/resource/ATS_(programming_language)> ,
		<http://ru.dbpedia.org/resource/ATS_(\u044F\u0437\u044B\u043A_\u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)> .
@prefix dbpedia-de:	<http://de.dbpedia.org/resource/> .
<http://dbpedia.org/resource/ATS_(programming_language)>	owl:sameAs	dbpedia-de:Applied_Type_System ,
		wikidata:Q621618 ,
		<https://global.dbpedia.org/id/4ocFV> ;
	foaf:name	"ATS"@en .
@prefix rdfs:	<http://www.w3.org/2000/01/rdf-schema#> .
<http://dbpedia.org/resource/ATS_(programming_language)>	rdfs:label	"ATS (\u044F\u0437\u044B\u043A \u043F\u0440\u043E\u0433\u0440\u0430\u043C\u043C\u0438\u0440\u043E\u0432\u0430\u043D\u0438\u044F)"@ru ,
		"ATS (programming language)"@en ,
		"Applied Type System"@de ,
		"ATS (langage de programmation)"@fr ,
		"ATS (llenguatge de programaci\u00F3)"@ca .
@prefix dct:	<http://purl.org/dc/terms/> .
@prefix dbc:	<http://dbpedia.org/resource/Category:> .
<http://dbpedia.org/resource/ATS_(programming_language)>	dct:subject	dbc:Dependently_typed_languages ,
		dbc:Programming_languages_created_in_2006 ,
		dbc:Articles_with_example_OCaml_code ,
		dbc:Declarative_programming_languages ,
		dbc:ML_programming_language_family ,
		dbc:OCaml_programming_language_family ,
		dbc:Free_and_open_source_compilers ,
		dbc:Software_using_the_GPL_license ,
		dbc:Cross-platform_free_software ,
		dbc:Functional_languages ,
		dbc:Statically_typed_programming_languages ,
		dbc:Extensible_syntax_programming_languages ,
		dbc:Systems_programming_languages ,
		dbc:High-level_programming_languages ,
		dbc:Object-oriented_programming_languages ,
		dbc:Multi-paradigm_programming_languages ;
	foaf:homepage	<http://www.ats-lang.org/> ,
		<http://www.ats-lang.org> ;
	foaf:depiction	<http://commons.wikimedia.org/wiki/Special:FilePath/The_ATS_Logo.svg> .
@prefix prov:	<http://www.w3.org/ns/prov#> .
<http://dbpedia.org/resource/ATS_(programming_language)>	prov:wasDerivedFrom	<http://en.wikipedia.org/wiki/ATS_(programming_language)?oldid=1306662024&ns=0> ;
	dbp:influencedBy	<http://dbpedia.org/resource/C++> ,
		dbr:OCaml ,
		<http://dbpedia.org/resource/ML_(programming_language)> ,
		dbr:Dependent_ML ;
	dbp:fileExt	".sats, .dats, .hats"@en .
@prefix gold:	<http://purl.org/linguistics/gold/> .
<http://dbpedia.org/resource/ATS_(programming_language)>	gold:hypernym	dbr:Language ;
	foaf:isPrimaryTopicOf	<http://en.wikipedia.org/wiki/ATS_(programming_language)> ;
	dbp:paradigms	dbr:Functional_programming ,
		dbr:Comparison_of_multi-paradigm_programming_languages ,
		dbr:Imperative_programming ,
		dbr:Concurrent_computing ,
		dbr:Object-oriented_programming ,
		dbr:Modular_programming ;
	dbp:typing	dbr:Type_system ,
		dbr:Dependent_type ;
	dbo:developer	dbr:Boston_University ;
	dbp:developer	dbr:Boston_University ;
	dbp:name	"ATS"@en ;
	dbo:wikiPageExternalLink	<http://ats-lang.sourceforge.net/htdocs-old/DOCUMENT/MISC/manual_main.pdf> ,
		<http://www.ats-lang.org/Documents.html> ,
		<http://www.ats-lang.org/> ,
		<http://ats-lang.sourceforge.net/DOCUMENT/> .
@prefix ns14:	<http://cs.likai.org/ats/> .
<http://dbpedia.org/resource/ATS_(programming_language)>	dbo:wikiPageExternalLink	ns14:ml-programmers-guide-to-ats ,
		<http://bluishcoder.co.nz/tags/ats/> ;
	dbo:thumbnail	<http://commons.wikimedia.org/wiki/Special:FilePath/The_ATS_Logo.svg?width=300> ;
	dbp:family	dbr:Caml ,
		dbr:OCaml ,
		<http://dbpedia.org/resource/ML_(programming_language)> ,
		dbr:Dependent_ML .
@prefix xsd:	<http://www.w3.org/2001/XMLSchema#> .
<http://dbpedia.org/resource/ATS_(programming_language)>	dbp:latestReleaseDate	"2020-11-14"^^xsd:date ;
	dbp:latestReleaseVersion	"ATS2-0.4.2"@en ;
	dbo:latestReleaseDate	"2020-11-14"^^xsd:date ;
	dbo:latestReleaseVersion	"ATS2-0.4.2" ;
	dbo:license	dbr:GNU_General_Public_License ;
	dbp:license	dbr:GNU_General_Public_License ;
	dbo:influencedBy	dbr:OCaml ,
		<http://dbpedia.org/resource/C++> ,
		<http://dbpedia.org/resource/ML_(programming_language)> ,
		dbr:Dependent_ML ;
	dbp:logo	"The ATS Logo.svg"@en ;
	dbp:date	"2014-12-05"^^xsd:date ;
	dbp:url	<https://web.archive.org/web/20141205101556/http:/www.ats-lang.org/Documents.html> ;
	dbo:wikiPageWikiLink	dbr:GNU_Compiler_Collection ,
		dbr:Dependent_ML ,
		dbr:Boston_University ,
		dbr:Pointer_arithmetic ,
		dbr:Static_typing ,
		dbr:Memory_corruption ,
		dbr:Division_by_zero ,
		dbc:Multi-paradigm_programming_languages ,
		dbr:Reference_counting ,
		<http://dbpedia.org/resource/C++> ,
		dbr:Hongwei_Xi ,
		dbr:Algebraic_type ,
		<http://dbpedia.org/resource/Garbage_collection_(computer_science)> ,
		dbr:Buffer_overflow ,
		dbr:Variadic_function ,
		dbc:Declarative_programming_languages ,
		dbr:Functional_programming ,
		dbr:OCaml ,
		dbr:Type_system ,
		dbr:Proof_assistant ,
		dbr:Theorem ,
		<http://dbpedia.org/resource/ML_(programming_language)> ,
		dbr:Memory_leak ,
		dbr:Formal_verification ,
		dbc:Programming_languages_created_in_2004 ,
		dbr:Imperative_programming ,
		dbc:Functional_languages ,
		dbr:Multi-paradigm_programming_language ,
		dbr:Tail_recursion ,
		dbr:GNU_General_Public_License ,
		dbc:Dependently_typed_languages ,
		dbc:Systems_programming_languages ,
		<http://dbpedia.org/resource/Predicate_(mathematical_logic)> ,
		<http://dbpedia.org/resource/C_(programming_language)> ,
		dbr:If_and_only_if ,
		dbr:The_Computer_Language_Benchmarks_Game ;
	dbo:description	"linguaggio di programmazione"@it ,
		"programovac\u00ED jazyk"@sk ,
		"programmeringssprog"@da ,
		"limbaj de programare"@ro ,
		"programmeringsspr\u00E5k"@nn ,
		"bahasa pemrograman berparadigma fungsional"@in ,
		"\u0A2A\u0A4D\u0A30\u0A4B\u0A17\u0A30\u0A3E\u0A2E\u0A3F\u0A70\u0A17 \u0A2D\u0A3E\u0A38\u0A3C\u0A3E"@pa ,
		"programspr\u00E5k"@sv ,
		"llenguatge de programaci\u00F3"@ca ,
		"langage de programmation informatique"@fr ,
		"programovac\u00ED jazyk"@cs ,
		"\u05E9\u05E4\u05EA \u05EA\u05DB\u05E0\u05D5\u05EA"@iw ,
		"\u092A\u094D\u0930\u094B\u0917\u094D\u0930\u093E\u092E\u093F\u0902\u0917 \u092D\u093E\u0937\u093E"@hi ,
		"j\u0119zyk programowania"@pl ,
		"programmeertaal"@nl ,
		"linguagem de programa\u00E7\u00E3o"@pt ,
		"Programmiersprache"@de ,
		"lenguaje de programaci\u00F3n"@es ,
		"\u0D2A\u0D4D\u0D30\u0D4B\u0D17\u0D4D\u0D30\u0D3E\u0D2E\u0D3F\u0D19\u0D4D \u0D2D\u0D3E\u0D37"@ml ,
		"yezh programmi\u00F1"@br ,
		"ohjelmointikieli"@fi ,
		"programming language"@en .
@prefix dbt:	<http://dbpedia.org/resource/Template:> .
<http://dbpedia.org/resource/ATS_(programming_language)>	dbp:wikiPageUsesTemplate	dbt:Reflist ,
		dbt:How-to ,
		dbt:URL ,
		dbt:Webarchive ,
		dbt:As_of ,
		dbt:Technical ,
		dbt:Defn ,
		dbt:Glossary_begin ,
		dbt:Multiple_issues ,
		dbt:Primary_sources ,
		dbt:Mono ,
		dbt:Infobox_programming_language ,
		dbt:Wikibooks ,
		dbt:Glossary_end ,
		dbt:Term ,
		dbt:Official_website ,
		dbt:Code ,
		dbt:Start_date_and_age ,
		dbt:ML_programming ,
		dbt:Short_description ;
	dbp:designer	"Hongwei Xi"@en .
dbr:Dependent_ML	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
dbr:Dependent_type	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
dbr:Intuitionistic_type_theory	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
dbr:Substructural_type_system	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
dbr:POPLmark_challenge	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
dbr:ATS2	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/ATS_(programming_language)> .
dbr:ATS_language	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> ;
	dbo:wikiPageRedirects	<http://dbpedia.org/resource/ATS_(programming_language)> .
dbr:List_of_programming_languages_by_type	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
<http://dbpedia.org/resource/ML_(programming_language)>	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> .
dbr:ATS	dbo:wikiPageWikiLink	<http://dbpedia.org/resource/ATS_(programming_language)> ;
	dbo:wikiPageDisambiguates	<http://dbpedia.org/resource/ATS_(programming_language)> .