Semantics for programming languages with Coq encodings (2015)

(inria.hal.science)

1 points | by Thom2503 6 hours ago ago