- Referenced in 8 articles
- The relevant logics E, R and N R...
- Referenced in 522 articles
- ML (’Meta Language’) is a general-purpose functional...
- Referenced in 207 articles
- Agda is a dependently typed functional programming language...
- Referenced in 292 articles
- Datalog is a declarative logic programming language that...