Gerald Jay Sussman: The Role of Programming | Hacker News

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

		Gerald Jay Sussman: The Role of Programming (video.google.com)
		20 points by fogus on May 20, 2011 \| hide \| past \| favorite \| 1 comment

pl-smith on May 21, 2011 [–]

What is it he says about type theory near the end?

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