1 search result for "tag:"date:2023-02-14""

Showing 1 - 1
  1. coq-smlms

    No documentation

    A formal semantics capturing value binding in a language with a powerful module system such as OCaml.
    category:Computer Science/Semantics and Compilation/Semantics keywords: adequacy keywords: modules keywords: module types keywords: OCaml keywords: refactoring keywords: renaming keywords: semantics logpath:AbstractRenaming date:2023-02-14
    Hugo Férée
    1.0.0
    MIT
    Used by 0 other packages
    16 Feb 2023