Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:27268980n
Noun Concept
Categories: Proof assistants, Academic programming languages, Discontinued programming languages, Functional languages, Dependently typed languages
EN
Epigram
EN
Epigram is a functional programming language with dependent types, and the integrated development environment usually packaged with the language. Wikipedia
English:
programming language
Definitions
Relations
Sources
EN
Epigram is a functional programming language with dependent types, and the integrated development environment usually packaged with the language. Wikipedia
A functional programming language with dependent types Wikipedia Disambiguation
IS A
programming language
DESIGNED BY
Conor McBride
PROGRAMMING PARADIGM
functional programming
TYPING DISCIPLINE
Strong and weak typing
static typing
Wikipedia
EN
Epigram (programming language)
Wikidata
EN
Epigram
Wikipedia Redirections
EN
Epigram language, Epigram programming language

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License