Return to Article Details
A Functional Correspondence between Monadic Evaluators and Abstract Machines for Languages with Computational Effects
Download
Download PDF