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

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

Namespace Prefixes

PrefixIRI
dcthttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n20https://web.archive.org/web/20060209235723/http:/www.macs.hw.ac.uk/~fairouz/projects/
n17https://global.dbpedia.org/id/
n12https://web.archive.org/web/20120717070845/http:/www.e-pig.org/darcs/Pig09/web/
yagohttp://dbpedia.org/class/yago/
schemahttp://schema.org/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
n15https://web.archive.org/web/20120717070845/http://www.e-pig.org/darcs/Pig09/web/
freebasehttp://rdf.freebase.com/ns/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
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/
goldhttp://purl.org/linguistics/gold/
dbrhttp://dbpedia.org/resource/
dbpedia-rohttp://ro.dbpedia.org/resource/

Statements

Subject Item
dbr:Dependent_type
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Per_Martin-Löf
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Unification_(computer_science)
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Intuitionistic_type_theory
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Conor_McBride
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Epigram_(programming_language)
rdf:type
yago:WikicatFunctionalLanguages yago:ProgrammingLanguage106898352 yago:Language106282651 wikidata:Q9143 dbo:Language yago:Communication100033020 dbo:Software yago:WikicatDependentlyTypedLanguages owl:Thing yago:Abstraction100002137 yago:ArtificialLanguage106894544 wikidata:Q315 schema:Language dbo:ProgrammingLanguage
rdfs:label
Epigram (programming language)
rdfs:comment
Epigram is a functional programming language with dependent types, and the integrated development environment (IDE) usually packaged with the language. Epigram's type system is strong enough to express program specifications. The goal is to support a smooth transition from ordinary programming to integrated programs and proofs whose correctness can be checked and certified by the compiler. Epigram exploits the Curry–Howard correspondence, also termed the propositions as types principle, and is based on intuitionistic type theory.
foaf:name
Epigram
foaf:homepage
n12:
dbp:name
Epigram
foaf:page
n15:
dct:subject
dbc:Functional_languages dbc:Discontinued_programming_languages dbc:Academic_programming_languages dbc:Proof_assistants dbc:Dependently_typed_languages
dbo:wikiPageID
1933143
dbo:wikiPageRevisionID
1053655735
dbo:wikiPageWikiLink
dbr:Program_specification dbr:United_Kingdom dbr:Generalized_algebraic_data_type dbr:Integrated_development_environment dbr:LaTeX dbc:Functional_languages dbr:Dependent_ML dbr:Cross-platform dbr:Dependent_type dbr:Typed_lambda_calculus dbr:Static_typing dbr:Compiler dbr:Nottingham dbc:Discontinued_programming_languages dbr:Type_system dbr:Natural_deduction dbr:Durham,_England dbr:St_Andrews dbr:GitHub dbr:Curry–Howard_correspondence dbc:Academic_programming_languages dbc:Proof_assistants dbr:ASCII dbr:Strong_and_weak_typing dbr:Functional_programming dbc:Dependently_typed_languages dbr:Haskell_(programming_language) dbr:Linux dbr:Conor_McBride dbr:MIT_License dbr:Royal_Holloway,_University_of_London dbr:Microsoft_Windows dbr:Intuitionistic_type_theory dbr:Natural_numbers dbr:Agda_(programming_language) dbr:ALF_(proof_assistant) dbr:MacOS dbr:Idris_(programming_language)
dbo:wikiPageExternalLink
n12: n20:EffProClaLog.html
owl:sameAs
wikidata:Q5382927 n17:4jNkp freebase:m.0674cj yago-res:Epigram_(programming_language) dbpedia-ro:Limbajul_de_programare_Epigram
dbp:wikiPageUsesTemplate
dbt:Multiple_issues dbt:Official_website dbt:Sxhl dbt:GitHub dbt:Start_date_and_age dbt:Infobox_programming_language dbt:No_footnotes dbt:Short_description dbt:Reflist dbt:Notability dbt:Cite_report dbt:Cite_journal
dbp:designer
dbr:Conor_McBride James McKinna
dbp:developer
Unmaintained
dbp:influenced
dbr:Agda_(programming_language) dbr:Idris_(programming_language)
dbp:influencedBy
dbr:ALF_(proof_assistant)
dbp:latestReleaseDate
2006-10-11
dbp:latestReleaseVersion
1
dbp:license
dbr:MIT_License
dbp:operatingSystem
dbr:Cross-platform dbr:Linux dbr:MacOS dbr:Microsoft_Windows
dbp:paradigm
dbr:Functional_programming
dbp:typing
dbr:Dependent_type dbr:Static_typing dbr:Strong_and_weak_typing
dbp:website
n12:
dbo:abstract
Epigram is a functional programming language with dependent types, and the integrated development environment (IDE) usually packaged with the language. Epigram's type system is strong enough to express program specifications. The goal is to support a smooth transition from ordinary programming to integrated programs and proofs whose correctness can be checked and certified by the compiler. Epigram exploits the Curry–Howard correspondence, also termed the propositions as types principle, and is based on intuitionistic type theory. The Epigram prototype was implemented by Conor McBride based on joint work with James McKinna. Its development is continued by the Epigram group in Nottingham, Durham, St Andrews, and Royal Holloway, University of London in the United Kingdom (UK). The current experimental implementation of the Epigram system is freely available together with a user manual, a tutorial and some background material. The system has been used under Linux, Windows, and macOS. It is currently unmaintained, and version 2, which was intended to implement Observational Type Theory, was never officially released but exists in GitHub.
gold:hypernym
dbr:Language
prov:wasDerivedFrom
wikipedia-en:Epigram_(programming_language)?oldid=1053655735&ns=0
dbo:wikiPageLength
7680
dbo:latestReleaseDate
2006-10-11
dbo:latestReleaseVersion
1
dbo:designer
dbr:Conor_McBride
dbo:influenced
dbr:Agda_(programming_language) dbr:Idris_(programming_language)
dbo:influencedBy
dbr:ALF_(proof_assistant)
dbo:license
dbr:MIT_License
foaf:isPrimaryTopicOf
wikipedia-en:Epigram_(programming_language)
Subject Item
dbr:Functional_programming
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Total_functional_programming
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Timeline_of_programming_languages
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Type_system
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Agda_(programming_language)
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
dbp:influencedBy
dbr:Epigram_(programming_language)
Subject Item
dbr:Epigram_(disambiguation)
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
dbo:wikiPageDisambiguates
dbr:Epigram_(programming_language)
Subject Item
dbr:Epigram_programming_language
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
dbo:wikiPageRedirects
dbr:Epigram_(programming_language)
Subject Item
dbr:Haskell
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
dbo:influenced
dbr:Epigram_(programming_language)
Subject Item
dbr:Idris_(programming_language)
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
dbp:influencedBy
dbr:Epigram_(programming_language)
dbo:influencedBy
dbr:Epigram_(programming_language)
Subject Item
dbr:Thorsten_Altenkirch
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Turing_completeness
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
Subject Item
dbr:Agda_(programming_language)__Agda__1
dbo:influencedBy
dbr:Epigram_(programming_language)
Subject Item
dbr:Epigram_language
dbo:wikiPageWikiLink
dbr:Epigram_(programming_language)
dbo:wikiPageRedirects
dbr:Epigram_(programming_language)
Subject Item
wikipedia-en:Epigram_(programming_language)
foaf:primaryTopic
dbr:Epigram_(programming_language)