Leveling up dependent types: generic programming over a predicative hierarchy of universes.
Larry DiehlTim SheardPublished in: DTP@ICFP (2013)
Keyphrases
- computer science
- neural network
- artificial intelligence
- programming language
- domain specific
- hierarchical structure
- computer programming
- real world
- high level
- search algorithm
- artificial neural networks
- evolutionary algorithm
- application specific
- programming environment
- programming environments
- completely independent