package coq-smlms

  1. Overview
  2. No Docs
A formal semantics capturing value binding in a language with a powerful module system such as OCaml.

Install

Dune Dependency

gitlab.com Edit opam file Versions (1)

Authors

  1. H
    Hugo Férée

Maintainers

  1. H
    Hugo Férée <feree@irif.fr>

Sources

coq-smlms-v1.0.0.tar.gz
sha256=edde3149da9a2cc3c5cbf1f91f73f34d0e7a41304fa2b8051f97edfe69a5bfff

Description

Tags

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

Published: 16 Feb 2023

Dependencies (2)

  1. coq >= "8.15.1"
  2. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None