Scheme - interpreters & semantics

You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

Author

interpreters & semantics

Bill Richter

2004-06-28, 8:59 pm

William D Clinger (cesuraSPAM@verizon.net) responded to me:
> Maybe I need to either state an actual result, and maybe in just
> one specific case.

That would be different.

Will, perhaps you can advise me. What's the smallest subset of Scheme
that you would find meaningful for me to state and prove a result
about the equivalence of the 2 definitions of compositionality? Or
perhaps one of the languages Shriram considers in PLAI?

Thanks for the references. We're in complete agreement about
Nielson's book, but the quotes from earlier books should be valuable.

Sponsored Links