• Polyp

  • Referenced in 33 articles [sw09131]
  • PolyP — a polytypic programming language extension. Many functions...
  • LEGO

  • Referenced in 107 articles [sw09685]
  • LEGO is an interactive proof development system (proof...
  • Tom

  • Referenced in 25 articles [sw09814]
  • Tom: Piggybacking Rewriting on Java. We present the...
  • Scheme

  • Referenced in 16 articles [sw13072]
  • The Scheme programming language. Scheme is a general...
  • PolyTOIL

  • Referenced in 23 articles [sw14205]
  • PolyTOIL: A type-safe polymorphic object-oriented language...
  • MiniAgda

  • Referenced in 9 articles [sw21183]
  • MiniAgda: integrating sized and dependent types. Sized types...
  • Simula 67

  • Referenced in 137 articles [sw21333]
  • Simula is the name of two simulation programming...
  • Forsythe

  • Referenced in 23 articles [sw21367]
  • Design of the programming language Forsythe. This is...
  • ALGOL 60

  • Referenced in 666 articles [sw21807]
  • ALGOL 60 (short for Algorithmic Language 1960) is...
  • GitHub

  • Referenced in 2340 articles [sw23170]
  • GitHub (originally known as Logical Awesome LLC)[3...
  • TREX

  • Referenced in 19 articles [sw37675]
  • TREX Tree Regular Expressions for XML. TREX has...