1994], "Deriving a Lazy Abstract Machine (0)

by P Sestoft
Venue:Dept of Computer Science, Technical University of Denmark