• HOPLA

  • Referenced in 14 articles [sw02330]
  • HOPLA -- a higher-order process language. A small...
  • KLAIM

  • Referenced in 72 articles [sw09424]
  • KLAIM: a kernel language for agents interaction and...
  • CompCert

  • Referenced in 49 articles [sw09737]
  • The CompCert project investigates the formal verification of...
  • Pastry

  • Referenced in 109 articles [sw11775]
  • Pastry: Scalable, decentralized object location, and routing for...
  • CC-Pi

  • Referenced in 30 articles [sw15033]
  • CC-Pi: A Constraint-Based Language for Specifying...
  • cubicaltt

  • Referenced in 45 articles [sw22723]
  • Cubical type theory. Code library. Experimental implementation of...