Submissions from wadler.blogspot.com

		Haskell equations, thirty-eight years later (wadler.blogspot.com)
		6 points by JNRowe 7 months ago \| past
		Programming Language Foundations in Agda (wadler.blogspot.com)
		1 point by octosphere on Dec 3, 2018 \| past
		Avoid nonreferential this (wadler.blogspot.com)
		1 point by fanf2 on March 11, 2018 \| past
		Intersectional Types (wadler.blogspot.com)
		1 point by mrstorm on Oct 9, 2015 \| past
		Antidotes to the Imitation Game (wadler.blogspot.com)
		2 points by sinkasapa on Jan 2, 2015 \| past
		Propositions as Types, with Howard on Curry-Howard (wadler.blogspot.com)
		3 points by ot on Nov 29, 2014 \| past
		Howard on Curry-Howard (wadler.blogspot.com)
		76 points by lelf on Aug 30, 2014 \| past \| 8 comments
		Is Perl syntax better than randomly chosen syntax? (wadler.blogspot.com)
		4 points by luu on Dec 2, 2013 \| past \| 1 comment
		Growing a Language meets Strunk and White (wadler.blogspot.com)
		2 points by rweba on March 4, 2013 \| past
		Dennis Ritchie memorial symposium (wadler.blogspot.com)
		1 point by kaushiks on Oct 1, 2012 \| past
		Indentation as a diff complexity metric (wadler.blogspot.com)
		4 points by capttwinky on Jan 13, 2012 \| past
		Static vs. Dynamic language development time (wadler.blogspot.com)
		6 points by pavpanchekha on Sept 7, 2011 \| past \| 3 comments
		Wadler's Blog: A combinator library for the design of railway track layouts (wadler.blogspot.com)
		2 points by omaranto on June 10, 2011 \| past
		The Myths of Object-Orientation (wadler.blogspot.com)
		2 points by jamesbritt on Dec 30, 2010 \| past
		A list is an odd creature (wadler.blogspot.com)
		1 point by parenthesis on Nov 19, 2009 \| past
		History of Lambda-calculus and Combinatory Logic (wadler.blogspot.com)
		9 points by nickb on June 6, 2008 \| past \| 1 comment

HN For You