Matches in DBpedia 2016-04 for { <http://wikidata.dbpedia.org/resource/Q5382927> ?p ?o }
Showing triples 1 to 64 of
64
with 100 triples per page.
- Q5382927 subject Q7134862.
- Q5382927 subject Q8374212.
- Q5382927 subject Q8380070.
- Q5382927 subject Q8797482.
- Q5382927 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 officially released, however there exists a GitHub mirror, last updated in 2012.".
- Q5382927 designer Q5162250.
- Q5382927 influenced Q15408477.
- Q5382927 influenced Q20479.
- Q5382927 influencedBy Q4652336.
- Q5382927 latestReleaseDate "2006-10-11".
- Q5382927 latestReleaseVersion "1".
- Q5382927 wikiPageExternalLink EffProClaLog.html.
- Q5382927 wikiPageExternalLink epigram2.
- Q5382927 wikiPageWikiLink Q1202039.
- Q5382927 wikiPageWikiLink Q13741.
- Q5382927 wikiPageWikiLink Q1406.
- Q5382927 wikiPageWikiLink Q14116.
- Q5382927 wikiPageWikiLink Q1437424.
- Q5382927 wikiPageWikiLink Q145.
- Q5382927 wikiPageWikiLink Q15408477.
- Q5382927 wikiPageWikiLink Q1572108.
- Q5382927 wikiPageWikiLink Q174666.
- Q5382927 wikiPageWikiLink Q179815.
- Q5382927 wikiPageWikiLink Q193076.
- Q5382927 wikiPageWikiLink Q20479.
- Q5382927 wikiPageWikiLink Q207736.
- Q5382927 wikiPageWikiLink Q21199.
- Q5382927 wikiPageWikiLink Q2607208.
- Q5382927 wikiPageWikiLink Q34010.
- Q5382927 wikiPageWikiLink Q3557516.
- Q5382927 wikiPageWikiLink Q364.
- Q5382927 wikiPageWikiLink Q388.
- Q5382927 wikiPageWikiLink Q4037222.
- Q5382927 wikiPageWikiLink Q41262.
- Q5382927 wikiPageWikiLink Q4652336.
- Q5382927 wikiPageWikiLink Q47506.
- Q5382927 wikiPageWikiLink Q5162250.
- Q5382927 wikiPageWikiLink Q6059147.
- Q5382927 wikiPageWikiLink Q7134862.
- Q5382927 wikiPageWikiLink Q8374212.
- Q5382927 wikiPageWikiLink Q8380070.
- Q5382927 wikiPageWikiLink Q865760.
- Q5382927 wikiPageWikiLink Q8797482.
- Q5382927 wikiPageWikiLink Q975734.
- Q5382927 wikiPageWikiLink Q991202.
- Q5382927 wikiPageWikiLink Q997433.
- Q5382927 designer "Conor McBride and".
- Q5382927 designer "James McKinna".
- Q5382927 influenced Q15408477.
- Q5382927 influenced Q20479.
- Q5382927 influencedBy Q4652336.
- Q5382927 latestReleaseDate "2006-10-11".
- Q5382927 latestReleaseVersion "1".
- Q5382927 name "Epigram".
- Q5382927 type Language.
- Q5382927 type Language.
- Q5382927 type ProgrammingLanguage.
- Q5382927 type Thing.
- Q5382927 type Q315.
- Q5382927 type Q34770.
- Q5382927 type Q9143.
- Q5382927 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.".
- Q5382927 label "Epigram (programming language)".
- Q5382927 name "Epigram".