blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

Your chats will live here. Log in to save them and pick any thread back up.

Genius — OpenServe

Sponsored

Epigram — últimas notícias, discussão e fatos — IJR.com — Notícias movidas por pessoas

Epigram

Topic

Epigram

linguagem de programação funcional com tipos dependentes

0membros1here now

Pergunte ao Genius Site

Feed Discussões Sobre

Sort by

Content type

Loading

Últimas notícias e discussão sobre Epigram

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

About Epigram

Epigram é uma linguagem de programação funcional com tipos dependentes, e o ambiente de desenvolvimento integrado (IDE) geralmente empacotado com a linguagem. O sistema de tipos do Epigram é forte o suficiente para expressar especificações de programas. O objetivo é apoiar uma transição suave da programação comum para programas e provas integrados cuja correção pode ser verificada e certificada pelo compilador. Epigram explora a correspondência de Curry–Howard, também denominada princípio de proposições como tipos, e é baseado na teoria de tipos intuicionista.

0

members

1

here now

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

Facts from Wikidata (CC0).

Everything about Epigram →

Live room · 1 here

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

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

Epigram across IJR

Ask Genius by OpenServe about Epigram Create in Studio Build a game Watch videos