Milner

#	Item
661	PDF Document Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2008-09-15 04:36:07 Mathematical logic Type system Unification Admissible rule Type inference Symbol Entailment Generic programming Hindley–Milner Type theory Logic Mathematics
662	PDF Document Add to Reading List Source URL: home.comcast.net Language: English - Date: 2013-06-12 16:26:10 Bletchley Park Enigma machine Bombe Reflector NEMA Peter Twinn Alan Turing Colossus computer Stuart Milner-Barry Cryptography Espionage Rotor machines
663	PDF Document Add to Reading List Source URL: assets.airbnb.com Language: English - Date: 2012-01-23 15:07:05 Internet Airbnb DST Global Andreessen Horowitz Ben Horowitz Marc Andreessen Brian Chesky Yuri Milner Software Venture capitalists Vacation rental Computing