Distributed Lazy Evaluation: A Big-Step Mechanised Semantics.

Seyed H. Haeri, Sibylle Schupp

Browse the full PDP paper archive.