Re^5: "strong typing" is potentially ambiguous

I recently came across this paper which gives a nice introduction to some advanced type theory.

-- All code is 100% tested and functional unless otherwise noted.

Comment on Re^5: "strong typing" is potentially ambiguous