Semantics for programming languages with Coq encodings (2015)
By Thom2503 · 2026-10-12 · 1 points · 0 comments
https://inria.hal.science/cel-01130272/document
By Thom2503 · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews