• XDuce

  • Referenced in 54 articles [sw12436]
  • typed XML processing language. XDuce is a statically typed programming language for XML processing ... subtree extraction, as well as dynamic typechecking. We survey the principles of XDuce’s design...
  • Coq

  • Referenced in 1758 articles [sw00161]
  • Coq is a formal proof management system. It...
  • ML

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

  • Referenced in 177 articles [sw01561]
  • Smalltalk is an object-oriented, dynamically typed, reflective...
  • Pict

  • Referenced in 71 articles [sw08929]
  • Pict is a language in the ML tradition...
  • MOMI

  • Referenced in 4 articles [sw09432]
  • MOMI: a calculus for mobile mixins. MOMI (Mobile...
  • Cyclone

  • Referenced in 28 articles [sw09693]
  • Compiling for template-based run-time code generation...
  • XPath

  • Referenced in 367 articles [sw15780]
  • XPath 2.0 is an expression language that allows...
  • Simula 67

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