This HTML5 document contains 92 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n23https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
dbpedia-ruhttp://ru.dbpedia.org/resource/
rdfshttp://www.w3.org/2000/01/rdf-schema#
n14https://web.archive.org/web/20150402133901/http:/www.eis.mdx.ac.uk/staffpages/dat/
freebasehttp://rdf.freebase.com/ns/
n21http://www.w3.org/2006/03/wn/wn20/instances/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
dbpedia-zhhttp://zh.dbpedia.org/resource/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbphttp://dbpedia.org/property/
dbchttp://dbpedia.org/resource/Category:
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:David_Turner_(computer_scientist)
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
dbp:knownFor
dbr:SASL_(programming_language)
dbo:knownFor
dbr:SASL_(programming_language)
Subject Item
dbr:List_of_programmers
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:List_of_programming_language_researchers
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:Generational_list_of_programming_languages
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:Comparison_of_functional_programming_languages
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:Functional_programming
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:Kent_Recursive_Calculator
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
dbp:influencedBy
dbr:SASL_(programming_language)
dbo:influencedBy
dbr:SASL_(programming_language)
Subject Item
dbr:Haskell
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
dbo:influencedBy
dbr:SASL_(programming_language)
Subject Item
dbr:Assignment_(computer_science)
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:ISWIM
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:SASL
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
dbo:wikiPageDisambiguates
dbr:SASL_(programming_language)
Subject Item
dbr:SASL_(programming_language)
rdf:type
yago:Language106282651 wikidata:Q9143 yago:ArtificialLanguage106894544 yago:Abstraction100002137 dbo:ProgrammingLanguage owl:Thing wikidata:Q315 schema:Language yago:Communication100033020 dbo:Language yago:ProgrammingLanguage106898352 yago:WikicatFunctionalLanguages
rdfs:label
SASL (编程语言) SASL (programming language) SASL (язык программирования)
rdfs:comment
SASL — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году, на базе аппликативного подмножества ISWIM. В 1976 году Тёрнер перепроектировал его как нестрогий язык. В этой форме SASL стал базой для поздних языков Тёрнера — KRC и Miranda, хотя SASL, по видимому, был бестиповым, а в Miranda наблюдается полиморфизм. SASL(缩写的St Andrews Static Language,或者St Andrews Standard Language,义为圣安德鲁斯静态语言或标准语言),是纯函数式编程语言,在1972年由于圣安德鲁斯大学,基于ISWIM的应用式子集而开发。在1976年,Turner重新设计并重新实现它为非严格(惰性)语言。它以这种形式成为了Turner以后的语言KRC和Miranda的基础,但是SASL表现为无类型的,而Miranda有多态类型。 使用SASL来书写编译器和操作系统。 SASL (from St Andrews Static Language, alternatively St Andrews Standard Language) is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM. In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language. In this form it was the foundation of Turner's later languages KRC and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types. Burroughs Corporation used SASL to write a compiler and operating system.
foaf:name
SASL
dbp:name
SASL
dcterms:subject
dbc:Academic_programming_languages dbc:Functional_languages dbc:History_of_computing_in_the_United_Kingdom
dbo:wikiPageID
1298198
dbo:wikiPageRevisionID
1054039672
dbo:wikiPageWikiLink
dbr:ISWIM dbr:Burroughs_Corporation dbr:Miranda_programming_language dbc:Academic_programming_languages dbr:David_Turner_(computer_scientist) dbr:Purely_functional_programming dbr:University_of_St_Andrews dbc:Functional_languages dbr:Haskell_(programming_language) dbr:Kent_Recursive_Calculator dbr:Miranda_(programming_language) dbc:History_of_computing_in_the_United_Kingdom dbr:Functional_programming
dbo:wikiPageExternalLink
n14:saslman.pdf
owl:sameAs
dbpedia-ru:SASL_(язык_программирования) freebase:m.04qxmx wikidata:Q4048691 dbpedia-ro:SASL_(limbaj_de_programare) yago-res:SASL_(programming_language) dbpedia-zh:SASL_(编程语言) n23:3jtL4
dbp:wikiPageUsesTemplate
dbt:Compu-lang-stub dbt:Cite_journal dbt:Infobox_programming_language
dbp:designer
dbr:David_Turner_(computer_scientist)
dbp:influenced
dbr:Miranda_programming_language dbr:Haskell_(programming_language) dbr:Kent_Recursive_Calculator
dbp:influencedBy
dbr:ISWIM
dbp:paradigm
dbr:Functional_programming
dbp:year
1972
dbo:abstract
SASL(缩写的St Andrews Static Language,或者St Andrews Standard Language,义为圣安德鲁斯静态语言或标准语言),是纯函数式编程语言,在1972年由于圣安德鲁斯大学,基于ISWIM的应用式子集而开发。在1976年,Turner重新设计并重新实现它为非严格(惰性)语言。它以这种形式成为了Turner以后的语言KRC和Miranda的基础,但是SASL表现为无类型的,而Miranda有多态类型。 使用SASL来书写编译器和操作系统。 SASL (from St Andrews Static Language, alternatively St Andrews Standard Language) is a purely functional programming language developed by David Turner at the University of St Andrews in 1972, based on the applicative subset of ISWIM. In 1976 Turner redesigned and reimplemented it as a non-strict (lazy) language. In this form it was the foundation of Turner's later languages KRC and Miranda, but SASL appears to be untyped whereas Miranda has polymorphic types. Burroughs Corporation used SASL to write a compiler and operating system. SASL — полностью функциональный язык программирования, разработанный Дэвидом Тёрнером в Сент-Эндрюсском университете в 1972 году, на базе аппликативного подмножества ISWIM. В 1976 году Тёрнер перепроектировал его как нестрогий язык. В этой форме SASL стал базой для поздних языков Тёрнера — KRC и Miranda, хотя SASL, по видимому, был бестиповым, а в Miranda наблюдается полиморфизм.
dbp:wordnet_type
n21:synset-programming_language-noun-1
prov:wasDerivedFrom
wikipedia-en:SASL_(programming_language)?oldid=1054039672&ns=0
dbo:wikiPageLength
2550
dbo:designer
dbr:David_Turner_(computer_scientist)
dbo:influenced
dbr:Miranda_programming_language dbr:Kent_Recursive_Calculator dbr:Haskell_(programming_language)
dbo:influencedBy
dbr:ISWIM
foaf:isPrimaryTopicOf
wikipedia-en:SASL_(programming_language)
Subject Item
dbr:Evaluation_strategy
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
Subject Item
dbr:SASL_programming_language
dbo:wikiPageWikiLink
dbr:SASL_(programming_language)
dbo:wikiPageRedirects
dbr:SASL_(programming_language)
Subject Item
wikipedia-en:SASL_(programming_language)
foaf:primaryTopic
dbr:SASL_(programming_language)