作者:Felleisen, Matthias/ Findler, Robert Bruce/ Flatt, Matthew
The first comprehensive presentation of reduction semantics in one volume, and the first tool set for such forms of semantics.This text is the first comprehensive presentation of reduction semantic...