N
Hacker Next
login
▲
Normal-order syntax-rules and proving the fix-point of call/cc
okmij.org
31 points by
Bogdanp
4 days ago
|
0 comments
add comment
Loading comments...