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

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

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