Results 1 to 7 of 7
Sort by:

  • 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...