1 paper
Dustin Jamner, Gabriel Kammer, Ritam Nag +1
We present Pyrosome, a generic framework for modular language metatheory that embodies a novel approach to extensible semantics and compilation, implemented in Coq. Common techniqu…