
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 20 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 7 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 5 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 283 articles
[sw00060]
 ACL2 is both a programming language in which...

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

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

Isabelle
 Referenced in 698 articles
[sw00454]
 Isabelle is a generic proof assistant. It allows...

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

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

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

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

PERL
 Referenced in 270 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...