On the Equivalence Between Small-Step and Big-Step Abstract Machines: A Simple Application of Lightweight Fusion
BRICS Report Series
doi 10.7146/brics.v14i16.21935
Full Text
Open PDFAbstract
Available in full text
Date
November 12, 2007
Authors
Publisher
Aarhus University Library