http://dbpedia.org/page/Epigram_%28programming_language%29

Epigram is the name of a functional programming language with dependent types and of the IDE usually packaged with it. 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.

Property	Value
p:abstract	Epigram is the name of a functional programming language with dependent types and of the IDE usually packaged with it. 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 from the [http://www.e-pig.org/ Epigram homepage] together with a user manual, a tutorial and some background material. The system has been used under Linux, Windows and Mac OS X. (en)
p:hasPhotoCollection	http://www4.wiwiss.fu-berlin.de/flickrwrappr/photos/Epigram_%28programming_language%29
p:reference	http://www.e-pig.org/downloads/epigram-system.pdf http://www.e-pig.org/downloads/ydtm.pdf http://www.e-pig.org/downloads/view.pdf http://www.e-pig.org/ http://www.e-pig.org/downloads/epigram-notes.pdf
rdf:type	umbel-sc:Language
rdfs:comment	Epigram is the name of a functional programming language with dependent types and of the IDE usually packaged with it. 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. (en)
rdfs:label	Epigram (programming language) (en)
skos:subject	dbpedia:Category:Functional_languages dbpedia:Category:Dependently-typed_formal_languages dbpedia:Category:Declarative_programming_languages dbpedia:Category:Interactive_theorem_proving_software
foaf:page	http://en.wikipedia.org/wiki/Epigram_%28programming_language%29
p:disambiguates	dbpedia:Epigram
p:influenced	dbpedia:Haskell_%28programming_language%29
p:redirect	dbpedia:Epigram_language dbpedia:Epigram_programming_language

Epigram (programming language)