Computer Science Links

http://en.wikipedia.org/wiki/Programming_languages - talks about programming languages, type saftey, dynamic vs static…

http://en.wikipedia.org/wiki/Edsger_Dijkstra - a father of computer science, has a famous quote saying, “Computer Science is no more about computers than astronomy is about telescopes.” Also he backed this up by not ever really using a computer.

http://en.wikipedia.org/wiki/Type_theory - stuff about type theory