
Memoization
 Referenced in 1 article
[sw28640]
 into a monadified version in a state monad or the Imperative HOL heap monad...

qPCF
 Referenced in 4 articles
[sw20267]
 implicit form of monad to manage quantum states via a destructivemeasurement operator...

Eff
 Referenced in 19 articles
[sw22721]
 whereas monad transformers are needed in the monadic style. The main idea ... operations, for example lookup and update for state, read and write for I/O, raise...

Celf
 Referenced in 2 articles
[sw22718]
 types to support representation of state and a monad to support representation of concurrency...

CryptHOL
 Referenced in 5 articles
[sw28582]
 higher order logic. The language features monadic sequencing, recursion, random sampling, failures and failure handling ... Oracles are probabilistic functions which maintain hidden state between different invocations. All operators are defined...

TravMC2
 Referenced in 4 articles
[sw20008]
 Buechi tree automata all of whose states are final. Building on our previous work ... using alternating parity tree automata (or equivalently monadic second order logic). Our experimental results offer...

SOL
 Referenced in 1 article
[sw35247]
 theories of monad and (lambda)calculi, Plotkin and Power’s theory of states and bits...

MAC
 Referenced in 1 article
[sw32897]
 enforce information security via libraries. Many stateoftheart IFC libraries ... wellestablished algebraic structure for computations (i.e., monads) responsible to manipulate labeled values—values coming...

ACL2
 Referenced in 279 articles
[sw00060]
 ACL2 is both a programming language in which...

Coq
 Referenced in 1818 articles
[sw00161]
 Coq is a formal proof management system. It...

CUTE
 Referenced in 64 articles
[sw00177]
 CUTE: a concolic unit testing engine for C...

Macaulay2
 Referenced in 1721 articles
[sw00537]
 Macaulay2 is a software system devoted to supporting...

Maple
 Referenced in 5168 articles
[sw00545]
 The result of over 30 years of cutting...

SINGULAR
 Referenced in 1412 articles
[sw00866]
 SINGULAR is a Computer Algebra system (CAS) for...

ML
 Referenced in 517 articles
[sw01218]
 ML (’Meta Language’) is a generalpurpose functional...

PERL
 Referenced in 266 articles
[sw01225]
 Programming Perl. Perl is a language for easily...

ALGOL 68
 Referenced in 291 articles
[sw01226]
 ALGOL 68 (short for ALGOrithmic Language 1968) is...

LARCH
 Referenced in 103 articles
[sw02126]
 The Larch family of languages supports a two...