Submissions from leafac.com

		Understanding the Type of ‘call/cc’ (leafac.com)
		38 points by leafac on Dec 6, 2018 \| past \| 2 comments
		Playing the Game with PLT Redex (leafac.com)
		21 points by pmatos on Oct 1, 2018 \| past \| 1 comment
		Programming-Language Theory Explained: Principles of Programming Languages (leafac.com)
		2 points by leafac on April 3, 2017 \| past
		Playing the Game with PLT Redex (leafac.com)
		3 points by leafac on March 13, 2017 \| past
		How I do my computing (leafac.com)
		1 point by leafac on April 2, 2015 \| past