danghica's submissions

1.		So what is a “pure programming language” anyway? (bham.ac.uk)
		5 points by danghica on April 16, 2016 \| past
2.		Basic introduction to functional programming using OCaml (bham.ac.uk)
		4 points by danghica on Jan 28, 2016 \| past
3.		Compilers are lazy denotational interpreters (bham.ac.uk)
		4 points by danghica on Jan 12, 2016 \| past
4.		A simple proof checker to use in teaching (bham.ac.uk)
		2 points by danghica on Sept 1, 2015 \| past
5.		Algebraic knot theory for kids: equations (bham.ac.uk)
		42 points by danghica on June 17, 2015 \| past \| 3 comments
6.		The limits of type theory: computation vs. interaction (bham.ac.uk)
		81 points by danghica on June 8, 2015 \| past \| 66 comments