16 citations · 16 across the 2 of their papers we have counts for
1 paper · 1 filter
Thomas Braibant, Jacques-Henri Jourdan, David Monniaux
We report on four different approaches to implementing hash-consing in Coq programs. The use cases include execution inside Coq, or execution of the extracted OCaml code. We explor…