Posts tagged Author: Daniel Patterson
How to prove a compiler correct (cross-post)
Artifacts for Semantics
Gabriel Scherer and I recently wrote an artifact for a semantics paper on a typed assembly language interoperating with a high-level functional language.