Story

Normal-order syntax-rules and proving the fix-point of call/cc

Bogdanp Saturday, September 13, 2025
Summary
The article discusses the implementation of a calculator using call/cc (call with current continuation) in the Scheme programming language. It explores the use of continuations to create a powerful and concise implementation of a calculator, highlighting the expressive capabilities of Scheme's control flow mechanisms.
23 0
Summary
okmij.org
Visit article Read on Hacker News