The scheme tag has no wiki summary.
11
votes
1answer
345 views
Can Scheme's call/cc implement all known control flow structures?
The page "Advanced Scheme: Some Naughty Bits" states:
Continuations are a powerful control-flow construct from which
nearly any other control-flow structure [...] may be derived.
I thought ...
11
votes
0answers
205 views
Is contextual equivalence of a language with `quote`-`eval` trivial or not?
In [1], Mitchell Wand demonstrated that adding fexprs to the pure lambda calculus trivializes the theory of contextual equivalence, meaning two terms are contextually equivalent iff they are ...
4
votes
2answers
187 views
Mathematical explanation of recursion and lambda (referenced in The Little Schemer)
In the preface of Friedman and Felleisen's book The Little Schemer it states:
We could, for example, describe the entire technical content of this book in less than a page of mathematics, but a ...
