This is a comprehensive account of the semantics and the implementation of the whole Lisp family of languages, namely Lisp, Scheme and related dialects.
The complete Scheme code for all the interpreters and analyzers in the book can be found online through The MIT Press web site. For this new edition, each chapter has been revised and many new exercises have been added.
... cmuscheme , written by Olin Shivers , provides a comint - based Scheme interaction buffer , so that you can run an interpreter more directly than with the * shell * buffer approach by typing M - x run - scheme . It also extends scheme ...
The Little Typer explains dependent types, beginning with a very small language that looks very much like Scheme and extending it to cover both programming with dependent types and using dependent types for mathematical reasoning.
The text uses interpreters, written in Scheme, to express the semantics of many essential language elements in a way that is both clear and directly executable.
... Scheme interpreter , and , in the next chapter , comp , a Scheme compiler . An interpreter that handles the Scheme primitives is easy to write . In the in- terpreter interp , the main conditional has eight cases , corresponding to the ...