blockversewordysbillionaire.aiyourlistWhiteboardAppquizieunschool

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

Genius — OpenServe

Sponsored

Epigram — últimas noticias, debate y datos — IJR.com — Noticias impulsadas por personas

Epigram

Topic

Epigram

lenguaje de programación funcional con tipos dependientes

0miembros1here now

Pregunta a Genius Sitio

Feed Debates Acerca de

Sort by

Content type

Loading

Últimas noticias y debate sobre Epigram

Sort by

Content type

Nothing published yet

The conversation starts anyway — post the first discussion above.

About Epigram

Epigram es un lenguaje de programación funcional con tipos dependientes, y el entorno de desarrollo integrado (IDE) usualmente empaquetado con el lenguaje. El sistema de tipos de Epigram es lo suficientemente fuerte como para expresar especificaciones de programas. El objetivo es apoyar una transición fluida desde la programación ordinaria hasta programas y pruebas integrados cuya corrección pueda ser verificada y certificada por el compilador. Epigram explota la correspondencia de Curry–Howard, también denominada el principio de proposiciones como tipos, y se basa en la teoría 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