Submissions from brownplt.github.com

		Engineering JavaScript's eval (brownplt.github.com)
		3 points by p4bl0 on Nov 30, 2012 \| past
		Mechanized LambdaJS (brownplt.github.com)
		30 points by llambda on July 29, 2012 \| past \| 12 comments
		Mechanized LambdaJS (brownplt.github.com)
		7 points by joeyespo on June 27, 2012 \| past
		The Essence of JavaScript (brownplt.github.com)
		9 points by unignorant on June 27, 2012 \| past
		Belay Lessons: Smarter Web Programming (brownplt.github.com)
		1 point by necrodome on Dec 19, 2011 \| past
		ECMAScript5: Semantics for Accessors (brownplt.github.com)
		1 point by adferguson on Dec 14, 2011 \| past