Functional Big-Step Semantics.

Scott Owens, Magnus O. Myreen, Ramana Kumar, Yong Kiam Tan

Browse the full ESOP paper archive.