ML is a general-purpose functional programming language developed by Robin Milner and others in the early 1970s at the University of Edinburgh, whose syntax is inspired by ISWIM. Historically, ML stands for metalanguage: it was conceived to develop proof tactics in the LCF theorem prover (whose language, pplambda, a combination of the first-order predicate calculus and the simply typed polymorphic lambda calculus, had ML as its metalanguage). It is known for its use of the Hindley–Milner type inference algorithm, which can automatically infer the types of most expressions without requiring...

The Game of Life, also known simply as Life, is a cellular automaton devised by the British mathematician John Horton Conway in 1970. The "game" is a zero-player game, meaning that its evolution is determined by its initial state, requiring no further input. One interacts with the Game of Life by creating an initial configuration and observing how it evolves. Rules The universe of the Game of Life is an infinite two-dimensional orthogonal grid of square cells, each of which is in one of two possible states, alive or dead. Every cell interacts with its eight neighbours, which are the c...

Wieden+Kennedy (W+K; pronounced WHY-den and KEN-edy; earlier spelled Wieden & Kennedy) is an independently owned American advertising agency best known for its work for Nike. Founded by Dan Wieden and David Kennedy, and headquartered in Portland, Oregon, it is one of the largest independently-owned advertising agencies in the world. History Dan Wieden met David Kennedy in 1980, at the ad agency of McCann Erickson, while working on the Nike account. They took Nike with them as a client after founding "Wieden & Kennedy" on April 1, 1982, and remain the agency of record. Over the years, th...