Idris: Implementing a Dependently Typed Programming Language.

Published in: LFMTP (2014)

Keyphrases

programming language
lambda calculus
general purpose
object oriented
high level
software engineering
database languages

programming environment
specification language
denotational semantics
logic programming
strongly typed
object oriented programming

artificial intelligence
functional language
functional programming
database language
data abstraction
programming tool

abstract data types
computer programs
object oriented concepts
expert systems
database
programming language constructs