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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Normal-order syntax-rules and proving the fix-point of call/cc (okmij.org)
		43 points by Bogdanp 5 months ago \| hide \| past \| favorite \| 3 comments

bjoli 5 months ago [–]

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

nextaccountic 5 months ago | [–]

Where's the presentation? I can't find a link in the posted page

mananaysiempre 5 months ago | | [–]

I think https://www.youtube.com/watch?v=MZBklDFpSAE is it.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact