• 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 destructive-measurement 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 state-of-the-art IFC libraries ... well-established 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 general-purpose 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...