|
|
|
|
|
|
by miguelrochefort
3101 days ago
|
|
|
- Logic programming: Datalog, Prolog, Mercury, Eve - Dependently-typed programming: Coq, Agda, Idris - Machine Learning and Artificial Intelligence I believe that the future of programming is to describe WHAT rather than HOW. |
|
|