1 search result for "author:"Jean-François Monin""

Showing 1 - 1
  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