• Eff

  • Referenced in 21 articles [sw22721]
  • based on algebraic effects and their handlers. Algebraic effects are a way of adding computational ... easily achieved with monads. In particular, algebraic effects are combined seamlessly, whereas monad transformers ... main idea of eff is that computational effects are accessed through a set of operations ... behavior of operations is determined by handlers. Just like an exception handler determines what happens...
  • LAPACK

  • Referenced in 1702 articles [sw00503]
  • LAPACK is written in Fortran 90 and provides...
  • ML

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

  • Referenced in 884 articles [sw03521]
  • Haskell is a standardized, general-purpose purely functional...
  • OCaml

  • Referenced in 276 articles [sw06363]
  • OCaml is the most popular variant of the...
  • JavaScript

  • Referenced in 167 articles [sw06868]
  • JavaScript is a scripting language for computers. It...
  • Twelf

  • Referenced in 173 articles [sw06888]
  • Twelf is a language used to specify, implement...
  • ProbLog

  • Referenced in 102 articles [sw06945]
  • ProbLog is a probabilistic logic programming language based...
  • IBAL

  • Referenced in 27 articles [sw08945]
  • IBAL: a probabilistic rational programming language. In a...
  • Church

  • Referenced in 55 articles [sw08946]
  • Church: A language for generative models. We introduce...
  • effects

  • Referenced in 1 article [sw13657]
  • Control.Effects is a library for programming with effects...
  • Frank

  • Referenced in 7 articles [sw13659]
  • The Frank package. An experimental programming language with...
  • pipes

  • Referenced in 2 articles [sw13660]
  • pipes is a clean and powerful stream processing...
  • mtl

  • Referenced in 1 article [sw13661]
  • The mtl package. Monad classes using functional dependencies...
  • Koka

  • Referenced in 11 articles [sw19068]
  • Koka: programming with Row polymorphic Effect Types. We...
  • Dyna

  • Referenced in 12 articles [sw23357]
  • Dyna: A Declarative Language for Implementing Dynamic Programs...
  • PRISM

  • Referenced in 39 articles [sw23359]
  • PRISM: A language for symbolic-statistical modeling. We...
  • Anglican

  • Referenced in 2 articles [sw31144]
  • Anglican is a probabilistic programming language integrated with...
  • Madoko

  • Referenced in 1 article [sw37811]
  • Madoko - a Fast Scholarly Markdown Processor. Madoko is...