3 search results for "tag:"keyword: monads""

Showing 1 - 3
  1. coq-continuations

    No documentation

    A toolkit to reason with programs raising exceptions
    keyword: exceptions keyword: monads keyword: continuations keyword: cps category: Computer Science/Semantics and Compilation/Semantics category: Miscellaneous/Extracted Programs/Combinatorics
    Jean-François Monin
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-lc

    No documentation

    Modules over monads and lambda-calculi
    keyword: modules keyword: monads keyword: category keyword: lambda calculus keyword: higher-order syntax category: Computer Science/Lambda Calculi date: 2006-01-12 date: 2008-09-9
    André Hirschowitz <ah@math.unice.fr> [http://math.unice.fr/~ah/] Marco Maggesi <maggesi@math.unifi.it> [http://www.math.unifi.it/~maggesi/]
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019
  3. coq-random

    No documentation

    Interpretation of random programs
    keyword: randomized algorithms keyword: monads keyword: probability category: Computer Science/Decision Procedures and Certified Algorithms/Correctness proofs of algorithms
    Christine Paulin
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019