2 search results for "author:"Martin Bodin""

Showing 1 - 2
  1. coq-jsast

    No documentation

    A minimal JavaScript syntax tree carved out of the JsCert project
    keyword:javascript keyword:compiler date:2020-07-29 logpath:JsAst
    Martin Bodin <> Arthur Charguéraud <> Daniele Filaretti <> Philippa Gardner <> Sergio Maffeis <> et al.
    3.0.0
    BSD-2-Clause
    Used by 1 other packages
    26 May 2022
  2. coq-wasm

    No documentation

    Wasm formalisation in Coq
    keyword:WebAssembly category:Computer Science/Semantics and Compilation/Semantics date:2025-06-29 logpath:Wasm
    Martin Bodin Philippa Gardner Jean Pichon Xiaojia Rao Conrad Watt
    2.1.0
    MIT
    Used by 0 other packages
    30 Jun 2025