Login
Roast topics
Find topics
Find it!
From:
okmij.org
(Uncensored)
subscribe
Normal-order syntax-rules and proving the fix-point of call/cc
https://okmij.org/ftp/Scheme/callcc-calc-page.html
links
backlinks
Tagged with:
lisp
Roast topics
Find topics
Roast it!
CPS and beta-normalization with syntax-rules as a proof assistant in search of the fixpoint of call/cc