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.

John Launchbury: High-Assurance Software
Category: Languages > Programming      Posted: 09 Mar 09

I had the pleasure of co-hosting a seminar on Functional Programming at Ericsson. We were able to bring an impressive cast of speakers:

  • Simon Peyton-Jones, Microsoft Research
  • Satnam Singh, Microsoft Research
  • John Hughes, Chalmers
  • John Launchbury, Galois
    Some notable people...

  • 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...

    John Hughes: Testing with QuickCheck
    Category: Languages > Programming      Posted: 09 Mar 09

    John Hughes is co-founder and CEO of Quviq AB, and the originator of Quviq QuickCheck. Schooled at a rural comprehensive in Wales, John studied at Oxford and Cambridge Universities, to be appointed Professor of Computing Science at Glasgow University at the tender age of 27. John developed a passion ...

    Satnam Singh: Declarative Programming Techniques for Many-Core Architectures
    Category: Languages > Programming      Posted: 09 Mar 09

    I had the pleasure of co-hosting a seminar on Functional Programming at Ericsson. We were able to bring an impressive cast of speakers:

  • Simon Peyton-Jones, Microsoft Research
  • Satnam Singh, Microsoft Research
  • John Hughes, Chalmers
  • John Launchbury, Galois
    Some notable people...

  • Peyton-Jones: Taming Effects - The Next Big Challenge
    Category: Languages > Programming      Posted: 09 Mar 09

    Simon is a fantastic speaker, providing you can keep up with somebody who speaks fairly fast. He always conveys a real enthusiasm for what he's talking about, looks very well prepared and manages to present complex things in a very simple fashion. He's one of the people I'm slowly trying to emulate i...