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

(okmij.org)

4 points | by Bogdanp 17 hours ago

No comments yet.