Results 21 to 33 of 33
Sort by:

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