On Google and Stanford University's Unwholesome Relationship with the US Intelligence "Community"
See mentions of Larry Paulson and Vaughan Pratt in Amy Zegart on Cyberwar and Logic. Then see Dana Scott on Stochastic Lambda Calculus and Cambridge Computer Laboratory. Note that Robin Milner also worked with Scott at Princeton before moving to Edinburgh and then Cambridge.
Now look carefully at this post: This Campaign is On The Road.
It was Robin and his wife Lucy's deaths in March 2010 which prompted me to write this piece about Hindley-Milner Type Inference which I talk about here.
See A Meditation.
Comments
Post a Comment