...
Solidity is the DEV-created (i.e. Ethereum Foundation-created), Javascript-inspired statically-typed language that can be used to create smart contracts on the Ethereum blockchain. There are other languages you can use as well (LLL, Serpent, etc). The main points in favour of Solidity is that it is statically typed and offers many advanced features like inheritance, libraries, complex user-defined types and a bytecode optimizer.
...
- Ethereum blog terminology guide
- Erights: home of E, the secure distributed persistent language for capability-based smart contracting
- bitsonblocks: introduction to smart contracts
- Nick Szabo Smart contract idea - 1997
- Nick Szabo: Contracts with bearers - 1997/1999
- Ethereum Homestead: connecting to the network
- Solidity workshop