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

 (okmij.org)

1 points | by Bogdanp 2 hours ago

0 comments