jonsterling's submissions

1.		Science of Logic (nLab) (ncatlab.org)
		1 point by jonsterling on Dec 4, 2016 \| past
2.		JonPRL Tutorial – Proof Assistant for Computational Type Theory (jozefg.bitbucket.org)
		2 points by jonsterling on July 6, 2015 \| past
3.		Type Theory Podcast #3: Dan Licata on Homotopy Type Theory (typetheorypodcast.com)
		1 point by jonsterling on Jan 8, 2015 \| past
4.		Type Theory Podcast #1: Peter Dybjer on types and testing (typetheorypodcast.com)
		3 points by jonsterling on Aug 13, 2014 \| past
5.		Proving Type Inequality in C++ (jonmsterling.com)
		1 point by jonsterling on Feb 11, 2013 \| past
6.		Flexibly-Phased Constraints in Haskell (jonmsterling.com)
		1 point by jonsterling on July 23, 2012 \| past
7.		Expressing Church Pairs with Types (jonmsterling.com)
		1 point by jonsterling on Jan 23, 2012 \| past
8.		Unifying Monoids and Monads with Polymorphic Kinds (jonmsterling.com)
		1 point by jonsterling on Jan 23, 2012 \| past