Idris, a general-purpose dependently typed programming language: Design and implementation.
Edwin C. BradyPublished in: J. Funct. Program. (2013)
Keyphrases
- programming language
- general purpose
- domain specific languages
- lambda calculus
- functional programming
- object oriented
- specification language
- object oriented programming
- programming environment
- data abstraction
- strongly typed
- high level programming language
- database languages
- programming tool
- software engineering
- java language
- test cases
- functional language
- design process
- computer programs
- data model