blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

News

Home
Popular
Elections

Genius — OpenServe

Sponsored

Epigram — latest news, discussion & facts — IJR

Epigram

Topic

Epigram

functional programming language with dependent types

0members1here now

Ask Genius Site

Feed Discussions About

Loading

Comments

Ask Genius by OpenServe:

Free account · your comment posts right after signup

About Epigram

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.

0

members

1

here now

Inception: 2004
Website: http://e-pig.org

Everything about Epigram →

Live room · 1 here

Be the first in the room — members see you arrive.

Facts from Wikidata (CC0).

Not who you're looking for? Others named Epigram: brief poem · student newspaper at the University of Bristol · Canadian-bred Thoroughbred racehorse