Semantics for programming languages with Coq encodings (2015)inria.hal.science1 point·Thom2503··0 commentsOpen articleSaveView on HN