
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 generalpurpose functional...

Haskell
 Referenced in 884 articles
[sw03521]
 Haskell is a standardized, generalpurpose 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...

criterion
 Referenced in 5 articles
[sw13658]
 This library provides a powerful but simple way...

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