Idris: general purpose programming with dependent types.

Published in: PLPV (2013)

Keyphrases

general purpose
programming language
special purpose
domain specific
neural network
genetic algorithm
image processing
application specific
real time
information retrieval
artificial intelligence
search algorithm
object oriented
programming environment