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

43 pointsposted 5 months ago
by Bogdanp
(okmij.org)

1 Comments

bjoli

5 months ago

When you watch the presentation, the reaction of the audience to the slides is hilarious.