DBpedia – Linked Data Fragments

Matches in DBpedia 2015-10 for { <http://dbpedia.org/resource/Epigram_(programming_language)> ?p ?o }

• Epigram_(programming_language) abstract "Epigram is a functional programming language with dependent types. Epigram also refers to the 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 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 in the 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 Mac OS X.It is currently unmaintained, and version 2, which was intended to implement Observational Type Theory, was never released.".
• Epigram_(programming_language) designer Conor_McBride.
• Epigram_(programming_language) influencedBy ALF_(proof_assistant).
• Epigram_(programming_language) latestReleaseDate "2006-10-11".
• Epigram_(programming_language) latestReleaseVersion "1".
• Epigram_(programming_language) wikiPageExternalLink EffProClaLog.html.
• Epigram_(programming_language) wikiPageID "1933143".
• Epigram_(programming_language) wikiPageLength "6370".
• Epigram_(programming_language) wikiPageOutDegree "40".
• Epigram_(programming_language) wikiPageRevisionID "651803194".
• Epigram_(programming_language) wikiPageWikiLink ALF_(proof_assistant).
• Epigram_(programming_language) wikiPageWikiLink ALF_(theorem_prover).
• Epigram_(programming_language) wikiPageWikiLink Category:Dependently_typed_languages.
• Epigram_(programming_language) wikiPageWikiLink Category:Discontinued_programming_languages.
• Epigram_(programming_language) wikiPageWikiLink Category:Functional_languages.
• Epigram_(programming_language) wikiPageWikiLink Category:Proof_assistants.
• Epigram_(programming_language) wikiPageWikiLink Compiler.
• Epigram_(programming_language) wikiPageWikiLink Conor_McBride.
• Epigram_(programming_language) wikiPageWikiLink Cross-platform.
• Epigram_(programming_language) wikiPageWikiLink Curry–Howard_correspondence.
• Epigram_(programming_language) wikiPageWikiLink Dependent_ML.
• Epigram_(programming_language) wikiPageWikiLink Dependent_type.
• Epigram_(programming_language) wikiPageWikiLink Dependent_typing.
• Epigram_(programming_language) wikiPageWikiLink Durham,_England.
• Epigram_(programming_language) wikiPageWikiLink Formal_specification.
• Epigram_(programming_language) wikiPageWikiLink Functional_programming.
• Epigram_(programming_language) wikiPageWikiLink Functional_programming_language.
• Epigram_(programming_language) wikiPageWikiLink Generalized_algebraic_data_type.
• Epigram_(programming_language) wikiPageWikiLink Haskell_(programming_language).
• Epigram_(programming_language) wikiPageWikiLink Integrated_development_environment.
• Epigram_(programming_language) wikiPageWikiLink Intuitionistic_type_theory.
• Epigram_(programming_language) wikiPageWikiLink Linux.
• Epigram_(programming_language) wikiPageWikiLink Mac_OS_X.
• Epigram_(programming_language) wikiPageWikiLink Microsoft_Windows.
• Epigram_(programming_language) wikiPageWikiLink Natural_deduction.
• Epigram_(programming_language) wikiPageWikiLink Natural_number.
• Epigram_(programming_language) wikiPageWikiLink Natural_numbers.
• Epigram_(programming_language) wikiPageWikiLink Nottingham.
• Epigram_(programming_language) wikiPageWikiLink OS_X.
• Epigram_(programming_language) wikiPageWikiLink Observational_Type_Theory.
• Epigram_(programming_language) wikiPageWikiLink Program_specification.
• Epigram_(programming_language) wikiPageWikiLink Propositions_as_types_principle.
• Epigram_(programming_language) wikiPageWikiLink Royal_Holloway.
• Epigram_(programming_language) wikiPageWikiLink Royal_Holloway,_University_of_London.
• Epigram_(programming_language) wikiPageWikiLink St_Andrews.
• Epigram_(programming_language) wikiPageWikiLink Static_typing.
• Epigram_(programming_language) wikiPageWikiLink Strong_and_weak_typing.
• Epigram_(programming_language) wikiPageWikiLink Strong_typing.
• Epigram_(programming_language) wikiPageWikiLink Type_system.
• Epigram_(programming_language) wikiPageWikiLink Typed_lambda_calculus.
• Epigram_(programming_language) wikiPageWikiLink United_Kingdom.
• Epigram_(programming_language) wikiPageWikiLinkText "Epigram (programming language)".
• Epigram_(programming_language) wikiPageWikiLinkText "Epigram".
• Epigram_(programming_language) designer "Conor McBride and".
• Epigram_(programming_language) designer "James McKinna".
• Epigram_(programming_language) developer "Unmaintained".
• Epigram_(programming_language) hasPhotoCollection Epigram_(programming_language).
• Epigram_(programming_language) influencedBy ALF_(proof_assistant).
• Epigram_(programming_language) influencedBy ALF_(theorem_prover).
• Epigram_(programming_language) latestReleaseDate "2006-10-11".
• Epigram_(programming_language) latestReleaseVersion "1".
• Epigram_(programming_language) license "MIT".
• Epigram_(programming_language) name "Epigram".
• Epigram_(programming_language) operatingSystem Cross-platform.
• Epigram_(programming_language) operatingSystem Linux.
• Epigram_(programming_language) operatingSystem Mac_OS_X.
• Epigram_(programming_language) operatingSystem Microsoft_Windows.
• Epigram_(programming_language) operatingSystem OS_X.
• Epigram_(programming_language) paradigm Functional_programming.
• Epigram_(programming_language) typing Dependent_type.
• Epigram_(programming_language) typing Dependent_typing.
• Epigram_(programming_language) typing Static_typing.
• Epigram_(programming_language) typing Strong_and_weak_typing.
• Epigram_(programming_language) typing Strong_typing.
• Epigram_(programming_language) typing Type_system.
• Epigram_(programming_language) wikiPageUsesTemplate Template:Infobox_programming_language.
• Epigram_(programming_language) wikiPageUsesTemplate Template:Reflist.
• Epigram_(programming_language) year "2004".
• Epigram_(programming_language) subject Category:Dependently_typed_languages.
• Epigram_(programming_language) subject Category:Discontinued_programming_languages.
• Epigram_(programming_language) subject Category:Functional_languages.
• Epigram_(programming_language) subject Category:Proof_assistants.
• Epigram_(programming_language) hypernym Language.
• Epigram_(programming_language) type Language.
• Epigram_(programming_language) type ProgrammingLanguage.
• Epigram_(programming_language) type Software.
• Epigram_(programming_language) type Work.
• Epigram_(programming_language) type CreativeWork.
• Epigram_(programming_language) type Thing.
• Epigram_(programming_language) type Q386724.
• Epigram_(programming_language) type Q7397.
• Epigram_(programming_language) type Q9143.
• Epigram_(programming_language) comment "Epigram is a functional programming language with dependent types. Epigram also refers to the 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_(programming_language) label "Epigram (programming language)".
• Epigram_(programming_language) sameAs m.0674cj.
• Epigram_(programming_language) sameAs Q5382927.
• Epigram_(programming_language) sameAs Q5382927.
• Epigram_(programming_language) wasDerivedFrom Epigram_(programming_language)?oldid=651803194.
• Epigram_(programming_language) isPrimaryTopicOf Epigram_(programming_language).
• Epigram_(programming_language) name "Epigram".