• ML

  • Referenced in 522 articles [sw01218]
  • ML (’Meta Language’) is a general-purpose functional...
  • Agda

  • Referenced in 207 articles [sw09689]
  • Agda is a dependently typed functional programming language...
  • Datalog

  • Referenced in 292 articles [sw20023]
  • Datalog is a declarative logic programming language that...