• wrapr

  • Referenced in 0 articles [sw19307]
  • their starting values). ’let()’ rebinds (possibly unbound) names to names, which is different than ’with ... rebinds names to values...
  • OCaml

  • Referenced in 271 articles [sw06363]
  • OCaml is the most popular variant of the...
  • Freshml

  • Referenced in 49 articles [sw08992]
  • FreshML: programming with binders made simple. FreshML extends...
  • MOMI

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