Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Epigram_(programming_language)> ?p ?o. }
Showing items 1 to 51 of
51
with 100 items per page.
- Epigram_(programming_language) abstract "Epigram is the name of 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) wikiPageRevisionID "577026729".
- 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) 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 Microsoft_Windows.
- Epigram_(programming_language) operatingSystem OS_X.
- Epigram_(programming_language) paradigm Functional_programming.
- Epigram_(programming_language) typing Dependent_type.
- Epigram_(programming_language) typing Strong_and_weak_typing.
- Epigram_(programming_language) typing Type_system.
- 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) type Abstraction100002137.
- Epigram_(programming_language) type ArtificialLanguage106894544.
- Epigram_(programming_language) type Communication100033020.
- Epigram_(programming_language) type DependentlyTypedLanguages.
- Epigram_(programming_language) type FunctionalLanguages.
- Epigram_(programming_language) type Language106282651.
- Epigram_(programming_language) type ProgrammingLanguage106898352.
- Epigram_(programming_language) type ProgrammingLanguage.
- Epigram_(programming_language) type Software.
- Epigram_(programming_language) type Work.
- Epigram_(programming_language) type CreativeWork.
- Epigram_(programming_language) type InformationEntity.
- Epigram_(programming_language) comment "Epigram is the name of 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) sameAs Epigram_(programming_language).
- Epigram_(programming_language) wasDerivedFrom Epigram_(programming_language)?oldid=577026729.
- Epigram_(programming_language) isPrimaryTopicOf Epigram_(programming_language).
- Epigram_(programming_language) name "Epigram".