Interested in learning web development, new language or just want to keep yourself updated with what's happening in information technologies? This site brings you the vast collection of screencast / video from net that can help you learn new technology, keep you informed of what's new, provide how to video tutorials and help you advance in information technology field. Not to mention seeing is better then reading or listening.

Simon Peyton-Jones: Composing Contracts - An Adventure in Financial Engineering
Category: Languages > Programming      Posted: 09 Mar 09

Financial and insurance contracts do not sound like promising territory for functional programming and formal semantics, but in fact we have discovered that insights from programming languages bear directly on the complex subject of describing and valuing a large class of contracts.

We i...